Abstract Data Types as Lattices of Finitely Generated Models.

Martin Wirsing, Manfred Broy

Browse the full MFCS paper archive.