Stoddart, BillDunne, SteveMu, ChunyanZeyda, Frank2024-05-282024-05-282024-08-01Stoddart, B, Dunne, S, Mu, C & Zeyda, F 2024, 'Bunch theory : Axioms, logic, applications and model', Journal of Logical and Algebraic Methods in Programming, vol. 140, 100977. https://doi.org/10.1016/j.jlamp.2024.100977ORCID: /0000-0002-2988-6939/work/160847960https://hdl.handle.net/2164/23525We thank the anonymous referees, whose comments have enabled us to greatly improve the presentation of this paper. We warmly thank Eric Hehner for extended discussions and colleagues from the BCS Formal Aspects special interest group for their interest and comments.21731255engBunch-theoryPartial-functionsLogicDenotational-modelBacktrackingRefinement-calculusQA75 Electronic computers. Computer scienceQA75Journal article10.1016/j.jlamp.2024.100977140