Towards increased productivity of algorithm implementation (1993)

by J Cai, R Paige
Venue:In Proc. ACM SIGSOFT