@inproceedings{8377b61b76d5460cb42ad56eb4e96b65,
title = "Transition system specification in stalk format with bisimulation as a congruence",
author = "{Oostrom, van}, V. and {Vink, de}, E.P.",
year = "1994",
language = "English",
isbn = "3-540-57785-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "569--580",
editor = "P. Enjalbert and E.W. Mayr and K.W. Wagner",
booktitle = "Proceedings 11th Annual Symposium on Theoretical Aspects of Computer Science (STACS 94, Caen, France, February 24-26, 1994)",
address = "Germany",
}