An exercise in program design using SIMULA class invariants

From MaRDI portal
Publication:4153586