https://geodesic-test.mathdoc.fr/search?%22Plotkin,%20B.%22-c
https://geodesic-test.mathdoc.fr/search?%22James%20O.%20Coplien%22-c