State mode analyses of concurrent logic languages - Tick, Evan; Koshimura, Miyuki (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report, 1994)