John Hughes, Lars Pareto, Amr Sabry
Proving the Correctness of Reactive Systems Using Sized Types
POPL, 1996.
@inproceedings{POPL-1996-HughesPS,
author = "John Hughes and Lars Pareto and Amr Sabry",
booktitle = "{Conference Record of the 23rd Symposium on Principles of Programming Languages}",
doi = "10.1145/237721.240882",
editor = "Hans-Juergen Boehm and Guy L. Steele Jr.",
isbn = "0-89791-769-3",
pages = "410--423",
publisher = "{ACM Press}",
title = "{Proving the Correctness of Reactive Systems Using Sized Types}",
year = 1996,
}