@inproceedings{inproceedings, title = {{A calculus for set-based program development}}, url = {{}}, year = {{2003}}, month = {{1}}, author = {{Struth G}}, volume = {{2885}}, journal = {{FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS}}, pages = {{541-559}}, note = {{Accessed on 2025/05/23}}}