%0 Journal Article %1 journals/siamcomp/AshcroftM75 %A Ashcroft, Edward A. %A Manna, Zohar %D 1975 %J SIAM J. Comput. %K dblp %N 2 %P 125-146 %T Translating Program Schemas to While-Schemas. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp4.html#AshcroftM75 %V 4

@article{journals/siamcomp/AshcroftM75, added-at = {2011-02-01T00:00:00.000+0100}, author = {Ashcroft, Edward A. and Manna, Zohar}, biburl = {https://www.bibsonomy.org/bibtex/29eb4b825f8b0faf1ef759cd75243e8dd/dblp}, ee = {http://dx.doi.org/10.1137/0204011}, interhash = {d44fcf3a5c2fa54e26af4fedd6d789a4}, intrahash = {9eb4b825f8b0faf1ef759cd75243e8dd}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 2, pages = {125-146}, timestamp = {2011-04-29T15:07:04.000+0200}, title = {Translating Program Schemas to While-Schemas.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp4.html#AshcroftM75}, volume = 4, year = 1975 }