Automated Deduction - CADE-22 - Tietokoneohjelmointi ohjelmistosuunnittelu - e-kirja(9783642029592)