T.: Tool support for the interactive derivation of formally correct functional programs (2003)

by W Guttmann, H Partsch, W Schulte, T Vullinghs
Venue:In: Journal of Universal Computer Science. Volume