Developing and debugging algebraic specifications for Java classes
ACM Transactions on Software Engineering and Methodology
Amer Diwan
Christoph Reichenbach