Software engineering fundamentals - the Jackson approach - INGEVALDSSON, Leif (Lund Studentlitteratur, 1990)