-H. Ehrig/F. Orejas (Eds.): Recent Trends in Data Type Specification, Proceedings 1992, Springer-Verlag 1994