Pushouts of order-sorted algebraic specifications (1996)

by A E Haxthausen, F Nickl
Venue:In Proceedings of AMAST'96, Lecture Notes in Computer Science