Trinder P.W. Bulk Types for Large Scale Programming (1990)

by Atkinson M P Richard P
Venue:Proceedings of Information Systems for the 90's