A Formal Description of the UNIX Operating System.

Thomas W. Doeppner Jr.Alessandro Giacalone

Published in: PODC (1983)

Keyphrases

formal specification
information systems
open source
multistage