Generated Fri Oct 22 07:13:07 PDT 1999 by fc@red.all.net


Popek75
  • [Popek75] G. Popek and C. Kline, A Verifiable Protection System, IEEE, Reliable Software Design, 294-304, 1975. []


    fc@red.all.net