Pietro Cenciarelli An Algebraic View of Program Composition. 325-340 1998 conf/amast/1998 AMAST http://link.springer.de/link/service/series/0558/bibs/1548/15480325.htm db/conf/amast/amast98.html#Cenciarelli98