%0 Conference Paper %1 conf/ifip2/Weber90 %A Weber, Matthias %B Programming Concepts and Methods %D 1990 %E Broy, Manfred %I North-Holland %K dblp %P 201-232 %T Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus. %U http://dblp.uni-trier.de/db/conf/ifip2/pcm1990.html#Weber90 %@ 0-444-88545-5

@inproceedings{conf/ifip2/Weber90, added-at = {2019-03-18T00:00:00.000+0100}, author = {Weber, Matthias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f94065a7e70c0c95e6e128cc287272b6/dblp}, booktitle = {Programming Concepts and Methods}, crossref = {conf/ifip2/1990}, editor = {Broy, Manfred}, interhash = {00360e7bdfa5fc0f4993175cd17a775e}, intrahash = {f94065a7e70c0c95e6e128cc287272b6}, isbn = {0-444-88545-5}, keywords = {dblp}, pages = {201-232}, publisher = {North-Holland}, timestamp = {2019-09-27T16:11:21.000+0200}, title = {Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/pcm1990.html#Weber90}, year = 1990 }