Recent trends in data type specification - Astesiano, Egidio, 1939-; Reggio, Gianna, 1957-; Tarlecki, Andrzej, 1956- (Lecture notes in computer science ; LNCS ;, 1995)