1. Ralph-Johan Back. 1989. Changing data representation in the refinement calculus. In [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track. 2 231–242. Ralph-Johan Back. 1989. Changing data representation in the refinement calculus. In [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track. 2 231–242.
2. Learning to listen for design
3. Designing opportunities to learn mathematics theory-building practices
4. Andrej Bauer. 2006. Sometimes all functions are continuous. http://math.andrej.com/2006/03/27/sometimes-all-functions-are-continuous/ Andrej Bauer. 2006. Sometimes all functions are continuous. http://math.andrej.com/2006/03/27/sometimes-all-functions-are-continuous/