Martin Gogolla;Maura Cerioli
-;-
Structured theories and institutions
Theoretical Computer Science
Maude's module algebra
Science of Computer Programming