Title: Intensional logics for programming
Subjects: Computer programming, Electronic digital computers, programming