Volume 92 Number 2 ( 1991 ) , in the article “ A Domain Equation for Bisimulation