Gaya APA

;, . (2003). Logic-based Program Synthesis and Transformation / . : .

Gaya MLA

;, . "Logic-based Program Synthesis and Transformation /". : , 2003. Text.