Chris Martin, Chris Hankin. Finding fixed points in finite lattices. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Volume 274 of Lecture Notes in Computer Science, pages 426-445, Springer, 1987.
@inproceedings{MartinH87, title = {Finding fixed points in finite lattices}, author = {Chris Martin and Chris Hankin}, year = {1987}, researchr = {https://researchr.org/publication/MartinH87}, cites = {0}, citedby = {0}, pages = {426-445}, booktitle = {Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings}, editor = {Gilles Kahn}, volume = {274}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-18317-5}, }