Maximal Contiguous Degrees. - Peter Cholak; Rodney G. Downey; Stephen Walk (J. Symb. Log., 2002)

Structuring Formal Methods into the Undergraduate Computer Science Curriculum. - Sarnath Ramnath; Stephen Walk (NFM, 2024)