Political Redistricting by Computer. - Robert E. Helbig; Patrick K. Orr; Robert R. Roediger (Commun. ACM, 1972)

Verification of Encapsulated Implementations of Algebraically Specified Data Types. - Patrick K. Orr (1979)