Type Systems for Modular Programming and Specification (1997)

by D Aspinall