Temporal Preconditions of Recursive Procedures. - Wim H. Hesselink; Ronald Reinds (REX Workshop, 1992)