Herbert Toth. ABS++: Assertion Based Subtyping in C++. Journal of Object Technology, 5(6):83-105, 2006. [doi]
@article{Toth06:2, title = {ABS++: Assertion Based Subtyping in C++}, author = {Herbert Toth}, year = {2006}, url = {http://www.jot.fm//issues/issue_2006_07/article3}, tags = {rule-based, C++, subtyping}, researchr = {https://researchr.org/publication/Toth06%3A2}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {5}, number = {6}, pages = {83-105}, }