-M. Haveraän/0. Owe/0.-J. Dahl (Eds.): Recent Trend" in Data Type Specification. Proceedings 1995. Springer-Verlag 1996