Computer-Aided Specification TechniquesJ. Demetrovics, Elod Knuth, P. Rado · First published 1986Open the Tome