%0 Journal Article %1 journals/fac/Staples00 %A Staples, Mark %D 2000 %J Formal Asp. Comput. %K dblp %N 5 %P 372-391 %T Interfaces for Refining Recursion and Procedures. %U http://dblp.uni-trier.de/db/journals/fac/fac12.html#Staples00 %V 12

@article{journals/fac/Staples00, added-at = {2011-05-25T00:00:00.000+0200}, author = {Staples, Mark}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23ba01d800957ae3030d7d9333864dfb8/dblp}, ee = {http://dx.doi.org/10.1007/s001650070010}, interhash = {6ad9ea0194d4c1187421b1b0411dabb5}, intrahash = {3ba01d800957ae3030d7d9333864dfb8}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 5, pages = {372-391}, timestamp = {2016-02-02T10:13:53.000+0100}, title = {Interfaces for Refining Recursion and Procedures.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac12.html#Staples00}, volume = 12, year = 2000 }