"Logics of Programs 1985" - читать интересную книгу автора