A lazy approach to partial algebras (1995)

by Maura Cerioli
Venue:Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types-Selected Papers, volume 906 of Lecture Notes in Computer Science