Lecturer: Dr. AJ Bieszczad Chapter 1111-1 Lehman’s system types S-system: formally defined, derivable from a specification P-system: requirements based.