A coinductive calculus of streams (2005)

by J. J. M. M. Rutten
Citations:39 - 12 self