Ernst-Erich Doberkat;Ulrich Gutenbeil
Univ. of Hidesheim, Hildesheim, W. Germany;Univ. of Hidesheim, Hildesheim, W. Germany
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering