Programmable logic development software - Salcic, Zoran (Kluwer Academic, 2000)