Arithmetic equality constraints as C++ statements (1992)

by Christopher J van Wyk
Venue:Software-Practice and Experience