The essence of monotonic state. (2011)

by A Pilkiewicz, F Pottier
Venue:In Proceedings of TLDI,