Holger Busch: Proving Liveness of Fair Transition Systems. TPHOLs 1996: 77-92