Functional Programming: Executable Specifications and Program Transformation (1989)

by S Thomson
Venue:In Fifth International Workshop on Software Specification and Design., IEEE