@article(Alperin:2000,
 author       = {Roger C. Alperin},
 year         = {2000},
 title        = {{A Mathematical Theory of Origami Constructions and Numbers}},
 journal      = {New York Journal of Mathematics},
 volume       = {6},
 pages        = {119--133},
)
@inbook(klop:2003,
 author       = {Marc Bezem and Jan Willem Klop},
 year         = {2003},
 title        = {Abstract reduction systems},
 chapter      = {1},
 pages        = {7 -- 23},
 volume       = {Term Rewriting Systems},
 publisher    = {Cambridge University Press},
)
@(corsoyard:2021,
 author       = {corsoyard.com},
 title        = {Origami Basic Technics},
 url          = {http://corsoyard.com/origami/origami-basic/\#basic5},
)
@(folds-net:2005,
 author       = {Folds.net},
 year         = {2005},
 title        = {Origami Diagrams on the Web},
 url          = {http://www.folds.net/tutorial/index.html},
)
@inproceedings(Huzita:1989a,
 author       = {Humiaki Huzita},
 year         = {1989},
 title        = {Axiomatic Development of Origami Geometry},
 editor       = {Humiaki Huzita},
 booktitle    = {Proceedings of the First International Meeting of Origami Science and Technology},
 address      = {Ferrara, Italy},
 pages        = {143 -- 158},
)
@book(ida:2020,
 author       = {Tetsuo Ida},
 year         = {2020},
 title        = {An introduction to Computational Origami},
 series       = {Texts and Monographs in Symbolic Computation},
 publisher    = {Springer Internatonal},
 doi          = {10.1007/978-3-319-59189-6},
)
@article(ida:2010a,
 author       = {Tetsuo Ida and Hidekazu Takahashi},
 year         = {2010},
 title        = {Origami fold as algebraic graph rewriting},
 journal      = {J. Symb. Comput.},
 volume       = {45},
 number       = {4},
 pages        = {393--413},
 doi          = {10.1016/j.jsc.2009.10.002},
)
@inproceedings(ida:2004,
 author       = {Tetsuo Ida and Dorin Tepeneu and Bruno Buchberger and Judit Robu},
 year         = {2004},
 title        = {{Proving and Constraint Solving in Computational Origami}},
 booktitle    = {Proceedings of the 7th International Symposium on Artificial Intelligence and Symbolic Computation (AISC 2004)},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {3249},
 pages        = {132--142},
 doi          = {10.1007/978-3-540-30210-0\_12},
)
@article(Justin:1986,
 author       = {Jacques Justin},
 year         = {1986},
 title        = {R{\'e}solution par le pliage de l'{\'e}quation du 3e degr{\'e} et applications g{\'e}om{\'e}triques},
 journal      = {L'Ouvert},
 number       = {42},
 pages        = {9 -- 19},
)
@book(Lang:2003,
 author       = {Robert J. Lang},
 year         = {2003},
 title        = {Origami Design Secrets: mathematical methods for an ancient art},
 volume       = {ISBN-10 : 1568811942},
 publisher    = {A K Peters/CRC Press},
 doi          = {10.1201/b10706},
)
@book(ninkino-origami:2011,
 editor       = {Shufunotomosha},
 year         = {2011},
 title        = {Popular Origami Best 50 (in Japanese)},
 publisher    = {Shufunotomosha},
 note         = {{English guidance by M. Aoki is provided.}},
)
@misc(Wolfram:2021,
 author       = {{Wolfram Research{,} Inc.}},
 year         = {2012},
 title        = {Mathematica 12{.}3},
)