Ronald E. Prather
-
Evaluating discrete mathematics exercises
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
The relation of Lorenzen calculus to formal language theory
ACM SIGSAM Bulletin