An algebra of scans (2004)

by Ralf Hinze
Venue:Mathematics of Program Construction, number 3125 in Lecture Notes in Computer Science