A logikai tervezés módszerei - Janovics, Sándor; Tóth, Mihály, 1924-1989 (Műszaki Kiadó, 1976)