Unique Fixed Points - Hoare, C (2015)