-H. Ehrig/K.P. Jantke/F. Orejas//H. Reichel (Eds.): Precent Trends in Data Type Specification, Springer-Verlag Proceedings 1990