Catherine Hope, Graham Hutton
Accurate Step Counting
IFL, 2005.
@inproceedings{IFL-2005-HopeH,
author = "Catherine Hope and Graham Hutton",
booktitle = "{Revised Selected Papers of the 17th International Workshop on Implementation and Application of Functional Languages}",
doi = "10.1007/11964681_6",
isbn = "3-540-69174-X",
pages = "91--105",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Accurate Step Counting}",
volume = 4015,
year = 2005,
}