Huaikou Miao Structured Object-Oriented Formal Language and Method - 2020 - springer 2020 - Lecture Notes in Computer Science . ISBN: 9783030414184 Subjects--Topical Terms: Computer ScienceSoftware Engineering