Title: Using formal description techniques
Subjects: Computer programming, Formal languages, Electronic digital computers, programming