Title: Abstract software specifications
Subjects: Computer programming, Congresses