Formalism & intuition in software development
: a conversation with Michael A. Jackson conducted by Edgar G. Daylight and Bas van Vlijmen on March 8th, 2013 in Amsterdam, the Netherlands, and by Edgar G. Daylight on July 22nd, 2013 in London, England
- [1. ed., version 1.0]