Fixpoint semantics and simulation. - Wim H. Hesselink; Albert Thijs (Theor. Comput. Sci., 2000)