Behavioral Contracts and Behavioral Subtyping (2001)

by Robert Bruce Findler, Mario Latendresse, Matthias Felleisen
Venue:In Proceedings of ACM Conference Foundations of Software Engineering