Kshirasagar Naik Zixue Cheng David S. L. Wei Distributed implementation of the disabling operator in LOTOS. 123-130 1999 41 Information & Software Technology 3 db/journals/infsof/infsof41.html#NaikCW99