Simon Ambler, Roy L. Crole. Mechanized Operational Semantics via (Co)Induction. In Yves Bertot, Gilles Dowek, André Hirschowitz, C. Paulin, Laurent Théry, editors, Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs 99, Nice, France, September, 1999, Proceedings. Volume 1690 of Lecture Notes in Computer Science, pages 221-238, Springer, 1999. [doi]
@inproceedings{AmblerC99,
title = {Mechanized Operational Semantics via (Co)Induction},
author = {Simon Ambler and Roy L. Crole},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/1690/16900221.htm},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/AmblerC99},
cites = {0},
citedby = {0},
pages = {221-238},
booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs 99, Nice, France, September, 1999, Proceedings},
editor = {Yves Bertot and Gilles Dowek and André Hirschowitz and C. Paulin and Laurent Théry},
volume = {1690},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66463-7},
}