Logické systémy. - Perrin, Jean-Paul; Denouette, Michel; Daclin, Eric; Kurka, Josef (Teoretická knižnice inženýra, 1972)