Aderhold, Markus Axel : Verification of Second-Order Functional Programs. Technische Universität, Darmstadt [Ph.D. Thesis], (2009)