Author:
Butler Michael,Meagher Mairead
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. J.-R. Abrial. The B-Book: Assigning Programs to Meaning. Cambridge University Press, 1996.
2. Aho, Upcroft & Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
3. Tract;R.J.R. Back,1980
4. U. Breyman. Designing Components with the C++ STL: A New Approach to Programming. Addison Wesley, 1998.
5. M.J. Butler. Calculational Derivation of Pointer Algorithms from Tree Operations. Science of Computer Programming, 33 (1999) 221–260.