Logičko projektovanje - Stanković, Radomir S. (Nauka, 1991)