Recent trends in data type specification - Haveraaen, Magne, 1958-; Owe, Olaf; Dahl, Ole-Johan, 1931- (Lecture notes in computer science ;, 1996)