Notes on Types Abstraction (Version 2 (1980)

by J V Guttag
Venue:IEEE Trans Software Engineering