Structural specifications with behavioural operators: semantics, proof methods and applications (1997)

by R Hennicker