Douglas J. Howe. Proving Congruence of Bisimulation in Functional Programming Languages. Inf. Comput., 124(2):103-112, 1996.
@article{Howe96, title = {Proving Congruence of Bisimulation in Functional Programming Languages}, author = {Douglas J. Howe}, year = {1996}, tags = {programming languages, functional programming, programming}, researchr = {https://researchr.org/publication/Howe96}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {124}, number = {2}, pages = {103-112}, }