%0 Conference Paper %1 conf/nato/BirdM96 %A Bird, Richard S. %A de Moor, Oege %B NATO ASI DPD %D 1996 %E Broy, Manfred %K dblp %P 167-203 %T The algebra of programming. %U http://dblp.uni-trier.de/db/conf/nato/dpd1996.html#BirdM96 %@ 3-540-60947-4

@inproceedings{conf/nato/BirdM96, added-at = {2006-11-14T00:00:00.000+0100}, author = {Bird, Richard S. and de Moor, Oege}, biburl = {https://www.bibsonomy.org/bibtex/25088c7b46af0a577e1b37cf2a9e05d9c/dblp}, booktitle = {NATO ASI DPD}, crossref = {conf/nato/1996}, date = {2006-11-14}, description = {dblp}, editor = {Broy, Manfred}, interhash = {f6a55acd15efebc90223037e6b0d5635}, intrahash = {5088c7b46af0a577e1b37cf2a9e05d9c}, isbn = {3-540-60947-4}, keywords = {dblp}, pages = {167-203}, timestamp = {2006-11-14T00:00:00.000+0100}, title = {The algebra of programming.}, url = {http://dblp.uni-trier.de/db/conf/nato/dpd1996.html#BirdM96}, year = 1996 }