Johannes Henkel, Christoph Reichenbach, Amer Diwan. Developing and debugging algebraic specifications for Java classes. ACM Transactions on Software Engineering Methodology, 17(3), 2008. [doi]
@article{HenkelRD08,
title = {Developing and debugging algebraic specifications for Java classes},
author = {Johannes Henkel and Christoph Reichenbach and Amer Diwan},
year = {2008},
doi = {10.1145/1363102.1363105},
url = {http://doi.acm.org/10.1145/1363102.1363105},
tags = {Java, algebraic specification, debugging, algebra},
researchr = {https://researchr.org/publication/HenkelRD08},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {17},
number = {3},
}