%0 Journal Article %1 journals/fuin/BanachJPS07 %A Banach, Richard %A Jeske, Czeslaw %A Poppleton, Michael %A Stepney, Susan %D 2007 %J Fundam. Informaticae %K dblp %N 1-2 %P 29-69 %T Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. %U http://dblp.uni-trier.de/db/journals/fuin/fuin77.html#BanachJPS07 %V 77

@article{journals/fuin/BanachJPS07, added-at = {2020-09-18T00:00:00.000+0200}, author = {Banach, Richard and Jeske, Czeslaw and Poppleton, Michael and Stepney, Susan}, biburl = {https://www.bibsonomy.org/bibtex/2f500caa080548fa9d7d76685e961c092/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi77-1-2-03}, interhash = {2e97b279751c180aac960de088e558a1}, intrahash = {f500caa080548fa9d7d76685e961c092}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {29-69}, timestamp = {2020-09-19T11:38:41.000+0200}, title = {Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin77.html#BanachJPS07}, volume = 77, year = 2007 }