Antonio Brogi Patricia M. Hill Special Issue on Logical Formalisms for Program Composition - Editorial. 2000 2000 Journal of Functional and Logic Programming 2 db/journals/jflp/jflp2000.html#BrogiH00