Greif, I. Formal problem specifications for readers and writers scheduling. Proc. MRI Symp. on Software Eng., Polytechnic Inst. of New York, 1976.

Languages mentioned

• Greif formal specification language {1975}