Proving the Correctness of Reactive Systems Using Sized Types”, (1996)

by R J M Hughes, L Pareto, A Sabry
Venue:Proc. POPL’96 — ACM Symp. on Principles of Programming Languages,