Cezary Kaliszyk, Henk Barendregt: Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem. CPP 2011: 87-102