Data Type Specifications: Parameterization and the Power of Specification Techniques (1978)

by J Thatcher, E Wagner, J Wright
Venue:Tenth ACM Symposium on Theory of Computing