Efficient algorithms for (3, 1) graphs. - Ann Marie Walsh; Walter A. Burkhard (Inf. Sci., 1977)

A course in program verification for programmers. - Gerald A. Jones; Ann Marie Walsh (SIGCSE/CSA, 1978)