Elisabetta Dami
J. F. Bell
Logics of Programs Workshop (1983 Carnegie Mellon University)
al-Ṣādiq Shaʻbān