F. J. M. Laver. Book Review. Comput. J., 10(4):335, 1968. [doi]
@article{Laver68, title = {Book Review}, author = {F. J. M. Laver}, year = {1968}, doi = {10.1093/comjnl/10.4.335}, url = {https://doi.org/10.1093/comjnl/10.4.335}, researchr = {https://researchr.org/publication/Laver68}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {10}, number = {4}, pages = {335}, }