Long division verified via Hoare logic

3-lisp: an infinite tower of meta-circular interpreters (2022)

3-lisp: An infinite tower of meta-circular interpreters

3-Lisp: an infinite tower of meta-circular interpreters

Treadmill garbage collector by H. Baker

File system replacement algorithms (2006)