Title: Formal Aspects of Component Software
Subjects: Computer science, Programming languages (electronic computers)