Extending development graphs with hiding (2005)

by Till Mossakowski, Serge Autexier, Dieter Hutter
Venue:Journal of Logic and Algebraic Programming, special issue on Algebraic Specification and Development Techniques