Title: A meta-calculus for formal system development
First published: 1991
Subjects: Calculus, Development, Computer software
LC classification: QA76.76.D47 W43 1991