Standard notion of bisimulation as GFP