Martin Große-Rhode Uwe Wolter Two-Categorical Specification of Partial Algebras. 207-219 1992 conf/compass/1992 COMPASS/ADT db/conf/compass/compass92.html#Grosse-RhodeW92