Fujita Masahiro et al; Using the Temporal Logic Programming Language Tokio for algorithm description and automatic CMOS gate array synthesis, pp246-255

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

Languages mentioned Tokio {1987}