An algebra of scans (2004)

by Ralf Hinze
Venue:In Mathematics of Program Construction