SpringerLink (Online service), Bruynooghe, M., & Lau, K. (2004). Program development in computational logic: A decade of research advances in logic-based program development. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), M. Bruynooghe, and K.-K Lau. Program Development in Computational Logic: A Decade of Research Advances in Logic-based Program Development. Berlin ; New York: Springer, 2004.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Program Development in Computational Logic: A Decade of Research Advances in Logic-based Program Development. Springer, 2004.
Warning: These citations may not always be 100% accurate.