Behavioural and abstractor specifications (1995)

by Michel Bidoit, Rolf Hennicker, Martin Wirsing
Venue:Science of Computer Programming