Formal Description of UNIX and Its Interfaces

Jerome_V_Vollborn at cup.portal.com Jerome_V_Vollborn at cup.portal.com
Thu Dec 7 16:02:08 AEST 1989


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)



More information about the Comp.unix.questions mailing list