Proving Real-Time Properties of Programs with Temporal Logic. - Arthur J. Bernstein; Paul K. Harter Jr. (SOSP, 1981)

Book Review: Medusa, A Distributed Operating System by John K. Ousterhout. - Paul K. Harter Jr. (ACM SIGOPS Oper. Syst. Rev., 1983)

IDD: An Interactive Distributed Debugger. - Paul K. Harter Jr.; Dennis Heimbigner; Roger King (ICDCS, 1985)

Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli. - Paul K. Harter Jr. (ACM SIGOPS Oper. Syst. Rev., 1993)

Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield. - Paul K. Harter Jr. (ACM SIGOPS Oper. Syst. Rev., 1993)