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

by J W Thatcher, E G Wagner, J B Wagner
Venue:IBM Research Report