Logic Design Assistence Using Temporal Logic Based Language Tokio. - Hiroshi Nakamura; Masaya Nakai; Shinji Kono; Masahiro Fujita; Hidehiko Tanaka (LP, 1989)