(2006). Logic based program synthesis and transformation 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005: Revised selected papers / Patricia M. Hill (ed.). [electronic resource].
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005: Revised Selected Papers / Patricia M. Hill (ed.). [electronic Resource]. 2006.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005: Revised Selected Papers / Patricia M. Hill (ed.). [electronic Resource]. 2006.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.