Pattern matching for the masses using custom notations

From MaRDI portal
Publication:436385