Notice the economy of reasoning: the abstract specification … [eg any mutually exclusive resource states can be used / see xerox eg for exclusive access PO is free and Pl is not free or PO is s=l and Pl is s=2, or PO is even(s) and Pl is odd(s)/
Google-1
Google-2
Copyright clearance needed for quotation.