Operational semantics of algebraic specifications with conditional equations - Pletat, Udo; Engels, Gregor 1955-; Ehrich, Hans-Dieter 1943- (1981)