Aoyagi, T.; M. Fujita, and T. Moto-oka. "Temporal logic programming language Tokio" pp138-147

Wada, E. (1986) Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986.  

Languages mentioned Tokio {1987}