An Algebra of Scans (2004)

by Ralf Hinze
Venue:In Mathematics of Program Construction