Using formal methods for requirements specification of a proposed POSIX standard. - Neal R. Reizer; Gregory D. Abowd; B. Craig Meyers; Patrick R. H. Place (ICRE, 1994)