5th Refinement Workshop / Proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 - London: Springer-Verlag, 1992 - viii, 378p. ISBN: 0387197524 Subjects--Topical Terms: Information technology Universal Decimal Class. No.: D 681.3.06(082.2) / N2