Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis. - Masahiro Fujita; Makoto Ishisone; Hiroshi Nakamura; Hidehiko Tanaka; Tohru Moto-Oka (LP, 1985)