APA-Zitierstil (7. Ausg.)

Meyer, T. (2008). A framework for formal representation and transformational optimisation of executable specifications. Logos-Verl.

Chicago-Zitierstil (17. Ausg.)

Meyer, Thomas. A Framework for Formal Representation and Transformational Optimisation of Executable Specifications. Berlin: Logos-Verl, 2008.

MLA-Zitierstil (9. Ausg.)

Meyer, Thomas. A Framework for Formal Representation and Transformational Optimisation of Executable Specifications. Logos-Verl, 2008.