"Goal-directed object-oriented programming in unicon."

Clinton L. Jeffery (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics