Simon J. Thompson. Laws in Miranda. In LISP and Functional Programming. pages 1-12, 1986.
@inproceedings{Thompson86,
title = {Laws in Miranda},
author = {Simon J. Thompson},
year = {1986},
researchr = {https://researchr.org/publication/Thompson86},
cites = {0},
citedby = {0},
pages = {1-12},
booktitle = {LISP and Functional Programming},
}