From SPA models to programs (1996)

by S Gilmore, J Hillston, D Holton
Venue:In: Proceedings of PAPM ’96