Teruo Higashino Gregor von Bochmann Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. 29-42 http://www.computer.org/tse/ts1994/e0029abs.htm 1994 20 IEEE Trans. Software Eng. 1 db/journals/tse/tse20.html#HigashinoB94