Logical systems for Industrial Applications - Jaczewski, Jerzy (PWN, 1978)