The parallel C (pC) programming language. - Ran Canetti; L. Paul Fertig; Saul A. Kravitz; Dalia Malki; Ron Y. Pinter; Sara Porat; Avi Teperman (IBM J. Res. Dev., 1991)

Class Assertions in C++. - Sara Porat; L. Paul Fertig (J. Object Oriented Program., 1995)