Resource bounds for self stabilizing message driven protocols - Dolev, Shlomi; Israeli, Amos; Moran, Shlomo (haṭ- Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā> / Department of Computer Science: Technical report, 1990)