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

by J W Thatcher, E G Wagner, J B Wright
Venue:ACM TOPLAS