Johannes Henkel Christoph Reichenbach Amer Diwan Developing and debugging algebraic specifications for Java classes. 2008 17 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/1363102.1363105 db/journals/tosem/tosem17.html#HenkelRD08