Title: Functional programming with Miranda
Subjects: Functional programming (Computer science), Functional programming languages, Miranda (Computer program language)