Language and Tool Support for Precise Interface Control (1985)

by A L Wolf