Observational logic”; Algebraic Methodology of Softawre (1999)

by R Hennicker, M Bidoit
Venue:Technology, Lect. Notes Comp. Sci