Type Systems for Modular Programs and Specifications (1997)

by David Aspinall