Software engineering - SCHACH (The Aksen Associates series in electrical and computer engineering, 1993)