CURRENTLY SOLD OUT

Computer-Aided Specification Techniques by Janos Demetrovics, Peter Rado, E. Knuth (Paperback, 1986)