An Equivalence in LOTOS and Its Decision Method. - Kaminaga, Hiroaki; Takahashi, Kaoru; Shiratori, Norio; Noguchi, Shoichi (Systems & Computers in Japan, 1991)