Lau, K.-K. und Banach, R. (Hrsg.) (2005) „Formal Methods and Software Engineering : 7 th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings“, Programming and Software Engineering. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11576280.
Chicago Manual of Style 17th edition (full note)Lau, Kung-Kiu, und Richard Banach, Hrsg. „Formal Methods and Software Engineering : 7 th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?]. https://doi.org/10.1007/11576280.
American Psychological Association 7th editionLau, K.-K., … Banach, R. (Hrsg.). (ca. 2005). Formal Methods and Software Engineering : 7 th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/11576280
Modern Language Association 9th editionLau, K.-K., und R. Banach, Herausgeber. „Formal Methods and Software Engineering : 7 th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings“. Programming and Software Engineering, 1 st ed. 2005, cd, Springer Berlin Heidelberg, 2005, https://doi.org/10.1007/11576280.
ISO-690 (author-date, Deutsch)LAU, Kung-Kiu und Richard BANACH (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540322504