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

Summer high school computer workshop. - Gerald A. Jones (SIGCSE, 1982)