Title: Program specification
Subjects: Specifications, Congresses, Computer programs