Modeling an Algebraic Stepper (2001)

by J Clements, M Flatt, M Felleisen
Venue:In Proc. 10th European Symposium on Programming, volume 2028 of LNCS