A formal description of object-oriented programming using VDM

1. Jones, C.B. "Systematic Software Development Using VDM" Prentice-Hall International Series in Computer Science, 1986

   Google Scholar 

2. Charniak, E., Riesbeck, K. and McDermott, D.V. "Artificial Intelligence Programming" Lawrence Erlbaum Associates, Publishers, 1980

   Google Scholar 

3. Abelson, H. and Sussman, G.J. with Sussman, J. "Structure and Interpretation of Computer Programs" The MIT Electrical Engineering and Computer Science Series, The MIT Press, McGraw-Hill Book Company, 1985

   Google Scholar 

4. Winston, P.H. "Artificial Intelligence" — Second Edition Addison-Wesley Publishing Company, 1984

   Google Scholar 

5. Goldberg, A. and Robson, D "Smalltalk-80 the Language and its Implementation" Addison-Wesley Publishing Company, 1983

   Google Scholar 

6. Henderson, P. "Functional Programming, Formal Specification and Rapid Prototyping" IEEE Transactions on Software Engineering, Vol. SE-12, No. 1, 1986

   Google Scholar 

7. Henderson, P and Minkowitz,C.J. "The me too method of software design" ICL Journal, Volume 5, Issue 1, May 1986

   Google Scholar 

Download references