A Domain Equation for Bisimulation
S. Abramsky
Book Title
J. Information and Computation
Number
2
Pages
161−218
Volume
92
Year
1991
S. Abramsky