Maura Cerioli;Gianna Reggio
-;-
Very abstract specifications: a formalism independent approach
Mathematical Structures in Computer Science