@inbook{inbook, title = {{Cylindric Kleene Lattices for Program Construction}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2019}}, month = {{1}}, author = {{Dongol B and Hayes I and Meinicke L and Struth G}}, doi = {{10.1007/978-3-030-33636-3_8}}, isbn = {{9783030336356}}, pages = {{197-225}}, note = {{Accessed on 2024/12/25}}}