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)