Behavioural equivalence – a unifying concept for initial and final specifications (1981)

by Horst Reichel
Venue:Third Hugarian Computer Science Conference. Akademiai Kiado