From abstract data types to logical frameworks (1995)

by J Meseguer, N Mart'i-Oliet
Venue:Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, volume 906 of Lecture Notes in Computer Science