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

by H Reichel
Venue:In Proceedings of the 3rd Hungarian Computer Science Conference. Akademiai Kiado