Cong Tian Structured Object-Oriented Formal Language and Method ISBN: 9783319901046 Subjects--Topical Terms: Computer ScienceSoftware Engineering