Richard Lai A. Lo An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. 1-8 1995 27 Australian Computer Journal 1 db/journals/acj/acj27.html#LaiL95