Logique de programmation et design, introduction par Joyce Farrell (2014, livre de poche)