This document presents: 1) a state-structure graph of UNIX, and 2) a listing, block diagram, and flowchart for each of the programs in the first two chapters of W.R. Stevens, Advanced Programming in the UNIX Environment.
The full document is provided in pdf format: Formal models of some APUE
programs
(pdf)
For correspondence regarding this document please contact:
thomas.piatkowski@wmich
.edu