Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!shadooby!samsung!usc!apple!fox!portal!cup.portal.com!Jerome_V_Vollborn
From: Jerome_V_Vollborn@cup.portal.com
Newsgroups: comp.unix.questions
Subject: Formal Description of UNIX and Its Interfaces
Message-ID: <24775@cup.portal.com>
Date: 7 Dec 89 05:02:08 GMT
Organization: The Portal System (TM)
Lines: 7


Does anyone know of any work on building a formal description of 
UNIX (any flavor) and its interfaces?  Please use email and I will 
summarize.

				Jerome Vollborn
				(uunet!lci386!jerome)