Bruce M. McMillin, Lionel M. Ni. Executable assertion development for the distributed parallel environment. In Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. pages 284-291, IEEE, 1988. [doi]
Abstract is missing.