Journal Article
A fundamental computer science course that unifies theory and practice
Language design for the Ironman requirement: notes and examples
Language design for the Ironman requirement: reference manual
ABSTRACTION AND VERIFICATION IN ALPHARD - DEFINING AND SPECIFYING ITERATION AND GENERATORS
Abstraction and verification in Alphard: Defining and specifying iteration and generators
Selection of good algorithms from a family of algorithms for polynomial derivative evaluation
On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives
On the number of multiplications for the evaluation of a polynomial and all its derivatives