APA (7th ed.) Citation

Albert. (2013). Logic-Based Program Synthesis and Transformation (1.). Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Albert. Logic-Based Program Synthesis and Transformation. 1. Springer Berlin Heidelberg, 2013.

MLA (8th ed.) Citation

Albert. Logic-Based Program Synthesis and Transformation. 1. Springer Berlin Heidelberg, 2013.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.