APA
Hans-Jörg Kreowski U. M. F. O. G. R. G. T., . (2005). Formal Methods in Software and Systems Modeling. Germany: Springer.
Chicago
Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer, . 2005. Formal Methods in Software and Systems Modeling. Germany: Springer.
Harvard
Hans-Jörg Kreowski U. M. F. O. G. R. G. T., . (2005). Formal Methods in Software and Systems Modeling. Germany: Springer.
MLA
Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer, . Formal Methods in Software and Systems Modeling. Germany: Springer. 2005.