Abstract module specifications in the framework of specification logics and applications to behavioural module specifications (1991)

by Harmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas