Title: Intensional programming I
Subjects: Computer programming