Numerical models for chemical and process engineering
Monty Hall Problem (command line)
Computer calculations made easy
Bit level lambda continuations and nothing else - Queue automata
JBernstein: Exploration techniques for non-linear constraint checking