Title: Reference manual for a Requirements Specification Language (RSL)
Subjects: Computer programs