Readings are numbered in order of priority

9/8/16 - IIIB7  Program Development Models II (Logic and Congruence)

1 IIIB7 - Nonstad and Webster.pdf

2 IIIB7  - Willging et al.pdf