Title: Specification in B
First published: 1996
Subjects: B (Computer program language), Programming languages (electronic computers)
LC classification: QA76.73.B155 L364 1996