SpringerLink (Online service), Bruynooghe, M., & Lau, K. (2004). Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Maurice Bruynooghe, και Kung-Kiu Lau. Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Springer Berlin Heidelberg, 2004.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.