A proof system for asynchronously communicating sequential processes - Francez, Nissim; Stomp, Frank A. (haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report, 1993)