Theory of Computing Systems is a peer-reviewed scientific journal published by Springer Verlag. Published since 1967 as Mathematical Systems Theory and since volume 30 in 1997 under its current title, ... Wikipedia