Proving congruence of bisimulation in functional programming languages
scientific article; zbMATH DE number 896625