The Foundations of Program Verification door etc., Jacques Loeckx & Kurt Sieber