@book{1972-miller
,title={{Complexity of computer computations}}
,booktitle={{Complexity of computer computations}}
,editor={Raymond E. Miller and James W. Thatcher}
,ISBN={0306307073}
,MR={51:9575}
,publisher={Plenum Press}
,address={New York}
,year={1972}
}