Godfrey, M. W. "Toward Formal Specification of Operating System Modules", M.Sc. thesis, University of Toronto, June 1988.
(1988)
Languages mentioned
SPECTUR
{1986}
Turing
{1982}