Title: Language design to enhance programming reliability
First published: 1975
Subjects: Electronic data processing, Programming languages (Electronic computers)
LC classification: QA76.99 G36 1975