Behavioural approaches to algebraic specifications: a comparative study (1994)

by G Bernot, M Bidoit, T Knapik
Venue:Acta Informatica