A Formal Description of the UNIX Operating System.

Thomas W. Doeppner Jr., Alessandro Giacalone

Browse the full PODC paper archive.