Behavioral Equivalence{a Unifying Concept for Initial and Final Speci (1981)

by Horst Reichel
Venue:In Proceedings, Third Hungarian Computer Science Conference. Akademiai Kiado