Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. R. J. R. Back. On the correctness of refinement steps in program development. Technical Report A-1978-4, Department of Computer Science, University of Helsinki, 1978.
2. R. J. R. Back. Refinement diagrams. In J. M. Morris and R. C. Shaw, editors, Proceedings of the Fourth BCS Refinement Workshop. Springer-Verlag, 1991.
3. J. Dawes. The VDM-SL Reference Guide. Pitman, 1991.
4. V. Goel and P. Pirolli. Design within information processing theory: The design problem space. AI Magazine, Spring 1989.
5. D. Gries. The Science of Programming. Springer-Verlag, 1981.