Systematic design of algebraic specifications (1989)

by S Antoy
Venue:In IWSSD ’89: Proceedings of the 5th international workshop on Software specification and design