On parallel programming methodology in GHC experience in programming of a proof procedure of temporal logic - Takahashi, Kazuko; Kanamori, Tadashi (1986)