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