TY - BOOK AU - Edited by Duan, Zhenhua TI - Structured object-oriented formal language and method SN - 9783030136505 U1 - 005.1015113 PY - 2019/// CY - New York, NY PB - Springer Berlin Heidelberg ER -