Functional Programming: Executable Specifications and Program Transformation (1989)

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