%0 Journal Article %1 journals/scp/Hehner90 %A Hehner, Eric C. R. %D 1990 %J Sci. Comput. Program. %K dblp %N 2-3 %P 133-158 %T A Practical Theory of Programming. %U http://dblp.uni-trier.de/db/journals/scp/scp14.html#Hehner90 %V 14

@article{journals/scp/Hehner90, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hehner, Eric C. R.}, biburl = {https://www.bibsonomy.org/bibtex/28fd709e2f9ae59ed7f1ff3d5eb6376d2/dblp}, ee = {https://doi.org/10.1016/0167-6423(90)90018-9}, interhash = {01f4f316d58a6d326a69ba2ec6074da7}, intrahash = {8fd709e2f9ae59ed7f1ff3d5eb6376d2}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {2-3}, pages = {133-158}, timestamp = {2024-04-09T05:28:02.000+0200}, title = {A Practical Theory of Programming.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp14.html#Hehner90}, volume = 14, year = 1990 }