Zhenhua Duan Structured Object-Oriented Formal Language and Method ISBN: 9783030136512 Subjects--Topical Terms: Computer ScienceCryptology