Machine generated authority record.

Work cat.: (UQROO)74160: Liu, Shaoying. editor. 210055, Structured Object-Oriented Formal Language and Method