Title: Formal object-oriented development
First published: 1995
Subjects: Object-oriented programming (Computer science)
LC classification: QA76.64 .L363 1995