APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.