Observational logic (1999)

by Rolf Hennicker, Michel Bidoit
Venue:IN ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST'98