Walter J. Savitch Parallel Random Access Machines with Powerful Instruction Sets. 191-210 1982 15 Mathematical Systems Theory 3 db/journals/mst/mst15.html#Savitch82