Machine generated authority record

Work cat.: (OSt)1645279: Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan, Structured Object-Oriented Formal Language and Method