John Henry Coste
Michael Jünger
Marcin Hojny
Logics of Programs Workshop (1983 Carnegie Mellon University)