Algebraic specification and program development by stepwise refinement (1999)

by D Sannella
Venue:9th international workshop, LOPSTR ’99