%0 Conference Paper %1 conf/ifip2/Boer87 %A de Boer, Frank S. %B Formal Description of Programming Concepts %D 1987 %E Wirsing, Martin %I North-Holland %K dblp %P 23-52 %T A proof rule for process-creation. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1987.html#Boer87 %@ 0-444-70253-9

@inproceedings{conf/ifip2/Boer87, added-at = {2019-01-10T00:00:00.000+0100}, author = {de Boer, Frank S.}, biburl = {https://www.bibsonomy.org/bibtex/29dad2c6fb8b65dc7afefd74f2281ee65/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1987}, editor = {Wirsing, Martin}, interhash = {cec456f138803281fbc30fa1f5381633}, intrahash = {9dad2c6fb8b65dc7afefd74f2281ee65}, isbn = {0-444-70253-9}, keywords = {dblp}, pages = {23-52}, publisher = {North-Holland}, timestamp = {2019-01-11T11:38:46.000+0100}, title = {A proof rule for process-creation.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1987.html#Boer87}, year = 1987 }