Formal Proof of Impossibility of Reliability in Crashing Protocols. - K. Gopinath; Anil K. Pugalia; K. V. M. Naidu (IWDC, 2004)