%0 Journal Article %1 journals/stp/RosselloBP89 %A Rosselló, Celestí %A Balcázar, José L. %A Pena, Ricardo %D 1989 %J Struct. Program. %K dblp %N 3 %P 133-145 %T Deriving Specifications of Embeddings in Recursive Program Design. %U http://dblp.uni-trier.de/db/journals/stp/stp10.html#RosselloBP89 %V 10

@article{journals/stp/RosselloBP89, added-at = {2020-05-26T00:00:00.000+0200}, author = {Rosselló, Celestí and Balcázar, José L. and Pena, Ricardo}, biburl = {https://www.bibsonomy.org/bibtex/2bdb030ad3ac563cf01a429cd8a0f6c24/dblp}, interhash = {f730b0ff70560f2c94b25e2796ef1c57}, intrahash = {bdb030ad3ac563cf01a429cd8a0f6c24}, journal = {Struct. Program.}, keywords = {dblp}, number = 3, pages = {133-145}, timestamp = {2020-05-27T11:41:12.000+0200}, title = {Deriving Specifications of Embeddings in Recursive Program Design.}, url = {http://dblp.uni-trier.de/db/journals/stp/stp10.html#RosselloBP89}, volume = 10, year = 1989 }