Watt, Stephen M. et al "A first report on the A# compiler"

[Proceedings] (1994) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`94) 1994, Oxford, United Kingdom