Categorical foundations of modularization for multi-paradigm languages (1998)

by Razvan Diaconescu, Petros Stefaneas