TY - BOOK TI - Theory of Computing Systems PB - Springer KW - Computer Science UR - https://link.springer.com/journal/224/volumes-and-issues ER -