Logical programming languages: constraints, functions and objects - Apt K R Ed.; Bakker J W De Ed.; Rutten J J M M Ed. (Cambridge MIT Press, 1993)
Keywords: Pascal; Computer science