Notes on type abstraction (version 2 (1980)

by J V Guttag
Venue:IEEE Trans. Software Eng