Projektowanie programów poprawnych i dobrze zbudowanych (Wyd. naukowo-techn., 1982)