Liu, S. (2004). Formal Engineering for Industrial Software Development: Using the SOFL Method (1st ed. 2004.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-07287-5
Chicago-Zitierstil (17. Ausg.)Liu, Shaoying. Formal Engineering for Industrial Software Development: Using the SOFL Method. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. https://doi.org/10.1007/978-3-662-07287-5.
MLA-Zitierstil (9. Ausg.)Liu, Shaoying. Formal Engineering for Industrial Software Development: Using the SOFL Method. 1st ed. 2004. Springer Berlin Heidelberg, 2004. https://doi.org/10.1007/978-3-662-07287-5.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.