Theory and practice of temporal logic programming. Intensional Logics for Programming. Oxford Science Publications (1992)

by M Orgun, W Wadge