From SPA models to programs (1996)

by S Gilmore, J Hillston, D R W Holton