Hartmanis, Juris
Feasible computations and provable complexity properties
Society for Industrial and Applied Mathematics, 1989
 eBooks
Rich, Elaine
Automata, Computability, and Complexity: Theory and Applications
Pearson Prentice hall, 2009
 Buku Teks
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
edited by Martin Kutrib, Nelma Moreira and Rogerio Reis
Springer-Verlag, 2012
 eBooks
Luo, Albert C.J.
Regularity and complexity in dynamical systems
Springer, 2012
 eBooks
Pemodelan sederhana sistem kontrol elevator dengan finite state machine
Universitas Indonesia, 2008
 UI - Skripsi (Membership)