Functional Specification of Distributed Systems. - Gruia-Catalin Roman; Robert K. Israel (ICPP, 1983)

A Framework for Networking in System V. - David J. Olander; Gilbert J. McGrath; Robert K. Israel (USENIX Summer, 1986)

Evolutionary Path to Network Storage Management. - Robert K. Israel; Antony W. Foster; Arun Taylor; Tracy M. Taylor; Neil Webber (USENIX Winter, 1991)