Title: Languages for system specification
Subjects: Congresses, Computer hardware description languages