Title: Nondeterminism in algebraic specifications and algebraic programs
First published: 1993
Subjects: Mathematics, Computer science, Computer science, mathematics
LC classification: QA76.9.M35 H87 1993