Behavioural theories and the proof of behavioural properties (1996)

by Michel Bidoit, Rolf Hennicker
Venue:Theoretical Computer Science