Software construction with object-oriented pictures: specifying reactive and interactive systems - Cherry, George W. (Canandaigua, New York: Thought **Tools, 1990)