[comp.unix.questions] Formal Description of UNIX and Its Interfaces

Jerome_V_Vollborn@cup.portal.com (12/07/89)

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)