Deciding bisimulation equivalences for a class of non-finite-state programs
scientific article; zbMATH DE number 529882