Christoph Beierle;Angi Voß
-;-
Very abstract specifications: a formalism independent approach
Mathematical Structures in Computer Science