Inheritance of behavior (0)

by T Basten, W M P v d Aalst
Venue:Journal of Logic and Algebraic Programming