Elod Knuth

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Computer Aided Specification Techniques	978-9971-978-53-2 (9971-978-53-9)	1986	Janos Demetrovics · Peter Rado