Chin, W., David, C., Nguyen, H., & Qin, S. (2007). Automated Verification of Shape, Size and Bag Properties. In 12th IEEE International Conference on Engineering of Complex Computer Systems, 11-14 Jul 2007, Auckland, New Zealand ; proceedings (307-320). https://doi.org/10.1109/iceccs.2007.17