Computability and Completeness in Logics of Programs (Preliminary Report)

David Harel, Albert R. Meyer, Vaughan R. Pratt

Browse the full STOC paper archive.