Systematic design of algebraic specifications (1989)

by S Antoy
Venue:In Proceedings of the Fifth International Workshop on Software Specification and Design