VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. ProceeSoren Prehn, Hans Toetenel₹5,383
Towards a Unified Modeling and Knowledge-Representation Based on Lattice TheoryVassilis G. Kaburlasos₹4,509