Robert E. Strom Shaula Yemini Typestate: A Programming Language Concept for Enhancing Software Reliability. 157-171 1986 12 IEEE Trans. Software Eng. 1 db/journals/tse/tse12.html#StromY86 http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6312929