and Shaula Alexander Yemini. Typestate: A Programming Language Concept for Enhancing Software Reliability (1986)

by Robert E Strom
Venue:In IEEE Transactions on Software Engineering