Algebraic Methodology and Software Technology

From MaRDI portal
Publication:5313009