Simulation and fixpoint semantics door A.M. Thijs