Pa moze se reci da je to skupina teorije grafova, automata, kao i i izracunjlivosti funkcija.
Blisko je formalnim teorijama i logici.
Sto se tice literature, kazu da je google majka, mada ako neko nesto nadje i ja cu rado to pogledati :))).
Naravno u sve to mozes da ubacis i dokazivanje korektnosti rada programa (bila je jedna dobra knjiga suada alagica iz sarajeva o tome).
(danas stvarno ne znam da sastavim recenicu)
CHUPCKO