%0 Journal Article %1 Hehner1981Bunch %A Hehner, Eric C. R. %D 1981 %J Information Processing Letters %K 03d05-automata-and-formal-grammars 03e30-axiomatics-of-classical-set-theory-and-its-fragments 03e75-applications-of-set-theory 68n15-programming-languages 68p05-data-structures 68q45-formal-languages-and-automata bunch container %N 1 %P 26--30 %R 10.1016/0020-0190(81)90071-5 %T Bunch Theory: A Simple Set Theory for Computer Science %U http://www.cs.toronto.edu/\~hehner/bunch.pdf %V 12

@article{Hehner1981Bunch, added-at = {2019-03-01T00:11:50.000+0100}, author = {Hehner, Eric C. R.}, biburl = {https://www.bibsonomy.org/bibtex/2d72b68a197b41bd6620afa8d9277c44e/gdmcbain}, citeulike-article-id = {14527146}, citeulike-attachment-1 = {hehner_81_bunch.pdf; /pdf/user/gdmcbain/article/14527146/1128331/hehner_81_bunch.pdf; d7206e7ca7c697348e1b315a8cbcba23966132fe}, citeulike-linkout-0 = {http://www.cs.toronto.edu/\~{}hehner/bunch.pdf}, citeulike-linkout-1 = {http://dx.doi.org/10.1016/0020-0190(81)90071-5}, comment = {cited on Wikipedia 'Bunch':https://en.wikipedia.org/wiki/Bunch}, doi = {10.1016/0020-0190(81)90071-5}, file = {hehner_81_bunch.pdf}, interhash = {18b212120deaf40b7e10de4cee740ec6}, intrahash = {d72b68a197b41bd6620afa8d9277c44e}, issn = {00200190}, journal = {Information Processing Letters}, keywords = {03d05-automata-and-formal-grammars 03e30-axiomatics-of-classical-set-theory-and-its-fragments 03e75-applications-of-set-theory 68n15-programming-languages 68p05-data-structures 68q45-formal-languages-and-automata bunch container}, month = feb, number = 1, pages = {26--30}, posted-at = {2018-01-31 01:50:29}, priority = {2}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Bunch Theory: A Simple Set Theory for Computer Science}}, url = {http://www.cs.toronto.edu/\~{}hehner/bunch.pdf}, volume = 12, year = 1981 }