A system of tense logic for transitive temporal structures with root and sink - Batini, Carlo (Istituto di Automatica <Roma>: Rapporti dell'Istituto di Automatica dell'Università di Roma e del Centro di Studio dei Sistemi di Controllo e Calcolo Automatici del C.N.R., 1975)