Deep pro engineering a pro for a declarative programming language (2001)

by T C Conway, Z Somogyi