Demetrovics J, Knuth Elod & Rado Peter Computer-Aided Specification Techniques - World Scientific WSPC 1986 ISBN: 9789814307789 Source: EBOOK Subjects--Topical Terms: Computer Science