Proving the correctness of reactive systems using sized types (1996)

by John Hughes , Lars Pareto , Amr Sabry
Citations:121 - 2 self