Gérard Jacob: Structural Invariants for Some Classes of Structured Programs. MFCS 1978: 286-297