Alex C. McLaren, James N. Boland
Shraddha Kulhari
Logics of Programs Workshop (1983 Carnegie Mellon University)
Neville W. Sachs, Neville W Sachs, Sachs, P.E., Neville W.