Deciding bisimulation equivalences for a class of nonfinite-state programs (1993)

by B Jonsson, J Parrow
Venue:Information and Computation