Fission for program comprehesion (2006)

by J Gibbons
Venue:in 8th Int.Conference on Mathematics of Program Construction