1. ASM Michigan Webpage, http://www.eecs.umich.edu/gasm/ , maintained by J. K. Huggins (Viewed June 4, 2010)
2. Bernot, G., Bidoit, M., Choppy, C.: Abstract data types with exception handling. Theoret. Comp. Sci. 46, 13–45 (1986)
3. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
4. Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers. Bulletin of Amer. Math. Soc. (NS) 21, 1–46 (1989)
5. Blass, A., Gurevich, Y.: Algorithms vs. Machines. Bull. European Assoc. Theoret. Comp. Sci. 77, 96–118 (2002);