Richard Lai, A. Lo An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. [Citation Graph (0, 0)][DBLP] Australian Computer Journal, 1995, v:27, n:1, pp:1-8 [Journal]
Mark Pfeiffer, John Leaney The Simple Reliable Monitor: A Formalisation of the Concept of a Safe Software Monitor. [Citation Graph (0, 0)][DBLP] Australian Computer Journal, 1995, v:27, n:1, pp:9-15 [Journal]