Assorted Publications

• My Employee Page at TU/e for further publications, especially on Model Driven Software Engineering.
• My Google Scholar Profile
• My ORCID iD
• My ResearchGate Profile
• My Academia.edu Profile: DELETED BECAUSE THEY WANT MONEY FROM ME FOR (almost) EVERYTHING (and they pay me nothing)
• Archive of Bridges papers

• Tom Verhoeff. "Deriving Formulas for Pretty 3D Polygons", Wolfram Notebook Archive, Aug. 2021.
• Melissa van Veenendaal and Tom Verhoeff. "Pretty 3D Polygons: Exploration and Proofs". Proceedings of Bridges 2021: Mathematics, Art, Music, Architecture, Education, Culture, pp.111-118, 2021.
• Tom Verhoeff. "Look Ma, Backtracking without Recursion". Olympiads in Informatics 15:119-132 (2021).
  Presented at the IOI 2021 Conference (Singapore) on Mon 21 Jun 2021.
  [ Presentation | Slides ]
• Tom Verhoeff. "Four Mathematical Designs for EGMO 2020, the European Girls' Mathematical Olympiad in the Netherlands". Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture, pp.289-296, 2020.
• Tom Verhoeff. "Sommen met kwadraten, uit het hoofd". Pythagoras, 59(6):18-23 (Jun 2020)
• Tom Verhoeff. The math behind the EGMO 2020 Opening Ceremony (from 15:15 to 20:45), (Apr 2020).
• Tom Verhoeff. "The Obtetrahedrille as a Modular Building Block for 3D Mathematical Art". Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture, pp.407-410, 2019.
• Tom Verhoeff, Roos van Berkel. "Lehmer's Dance - A Lecture Performance". Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture, pp.375-378, 2019.
• Tom Verhoeff. "A Master Class on Recursion". in Adventures Between Lower Bounds and Higher Altitudes : Essays Dedicated to Juraj Hromkovic on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11011, pp.610-633, 2018. [doi]
• Tom Verhoeff. "Some Memories of Koos Verhoeff (1927 - 2018)". Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture, pp.3-6, 2018.
• Ana M. Sutii, Mark van de Brand, Tom Verhoeff. "Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod". Computer Languages, Systems & Structures, Appeared Jan. 2018.
• Tom Verhoeff. "nbtoolbelt: Tools to Work with Jupyter Notebooks", Open Source Software on the Python Package Index. Documentation. Sep. 2017
• Tom Verhoeff, Koos Verhoeff. "Hopeless Love and Other Lattice Walks". Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture, pp.197-204, 2017.
  [ Slides ]
• Anton Bakker, Tom Verhoeff. "Artistic Rendering of Curves via Lattice Paths". Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture, pp.447-450, 2017.
• Tom Verhoeff. "The spurs of D. H. Lehmer : Hamiltonian paths in neighbor-swap graphs of permutations", Designs, Codes and Cryptography, Volume 84, Issue 1, pp 295-310 (July 2017).
  DOI: 10.1007/s10623-016-0301-9 (2016)
  [Open Access]
• Tom Verhoeff, Koos Verhoeff. "Three Mathematical Sculptures for the Mathematikon". Proceedings of Bridges 2016: Mathematics, Music, Art, Architecture, Education, Culture, pp.105-110, 2016.
  [ Slides | Extra material ]
• Tom Verhoeff. "Problem Solving, Presenting, and Programming: A Matter of Giving and Taking". Olympiads in Informatics 10:231-235 (2016).
  [ Slides ]
• Tom Verhoeff. "From Callbacks to Design Patterns" (Version 1.7). Course Notes for Programming Methods, Software Engineering \& Technology, Eindhoven University of Technology, 2016.
• Tom Verhoeff, Koos Verhoeff. "Three Families of Mitered Borromean Ring Sculptures". Proceedings of Bridges 2015: Mathematics, Music, Art, Architecture, Culture, pp.53-60, 2015.
• Tom Verhoeff, Melle Stoel. "Chains of Antiprisms", Proceedings of Bridges 2015: Mathematics, Music, Art, Architecture, Culture, pp.347-350, 2015.
• Tom Verhoeff, Koos Verhoeff. "Lobke, and Other Constructions from Conical Segments". In: Gary Greenfield, George Hart and Reza Sarhangi (Eds.), Proceedings of Bridges 2014: Mathematics, Music, Art, Architecture, Culture, Tessellations Publishing, ISBN 978-1-938664-11-3, pp.309-316, August 2014.
  [ Slides | Additional material ]
• Mathematica Demonstrations in 2014:
  • Devilish Mazes (Feb. 2014)
  • Zero-Knowledge Matchmaker (Jun. 2014), also see Contribution to Liber AMiCorum for Arjeh Cohen
  • Euler's Rotation Theorem (Nov. 2014)
• Tom Verhoeff, Koos Verhoeff. "Folded Strips of Rhombuses, and a Plea for the √2:1 Rhombus". In: George W. Hart and Reza Sarhangi (Eds.), Proceedings of Bridges 2013: Mathematics, Music, Art, Architecture, Culture, Tessellations Publishing, ISBN 978-1-938664-06-9, pp.71-78, July 2013.
  Presented as paper 15 [ Slides | Additional material ]
• Mathematica Demonstrations in 2013:
  • Paradoxical Triangular Braid (Aug. 2013)
  • Shapes from Rombuses (Aug. 2013)
  • Knot Explorer (Dec. 2013)
• Kees van Overveld, Tom Verhoeff. "Self-Consistent Peer Ranking for Assessing Student Work: Dealing with Large Populations". CSEDU, page 399-404. SciTePress, Nov. 2012.
• Tom Verhoeff. "Informatics Everywhere: Information and Computation in Society, Science, and Technology". Olympiads in Informatics 7:140-152 (2013).
  [ Corrected version of 24-Jun-2013 | Errata and Addenda (24-June-2013) | Slides ]
• Cornelis Huizing, Ruurd Kuiper and Tom Verhoeff. ``Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms'' in Turing-100, Andrei Voronkov (Ed.), EPiC Series, Vol. 10, pp.168-180, EasyChair, 2012.
• Tom Verhoeff, Koos Verhoeff. "Mitered Fractal Trees: Constructions and Properties". In: Robert Bosch, Douglas McKenna, and Reza Sarhangi (Eds.), Bridges Towson: Mathematics, Music, Art, Architecture, Culture: Proceedings 2012, Tessellations Publishing, ISBN 978-1-938664-00-7.
  Presented as Paper 6 at Bridges Towson 2012, the Fifteenth Annual Bridges Conference, at Towson University, Maryland, USA, pp.25-32, July 2012.
  [ Slides | Additional material ]
• Tom Verhoeff. "Combinatorial Choreography". In: Robert Bosch, Douglas McKenna, and Reza Sarhangi (Eds.), Bridges Towson: Mathematics, Music, Art, Architecture, Culture: Proceedings 2012, Tessellations Publishing, ISBN 978-1-938664-00-7.
  Presented as Paper 69 at Bridges Towson 2012, the Fifteenth Annual Bridges Conference, at Towson University, Maryland, USA, pp.607-612, July 2012.
  [ Additional material ]
• Tom Verhoeff. "On Abstraction and Informatics", Presented at ISSEP 2011, Bratislava, Slovakia, 26-29 October 2011.
  Appeared in:
  Bezáková, Daniela; Kalas, Ivan (Eds.). ISSEP 2011 : Proceedings of Selected Papers : 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives. p.40 + full paper on CD-ROM (12 pages). ISBN 978-80-89186-90-7.
  [ Extended abstract | Corrected version of 26 Oct 2011 | Errata and Addenda (23-May-2013) | Slides ]
• Tom Verhoeff. ``Beyond the Competitive Aspect of the IOI: It Is All about Caring for Talent''. Olympiads in Informatics 5:120-127 (2011).
• Tom Verhoeff. ``De IMO -- over talent, plezier en wiskundekringen'', Nieuw Archief voor Wiskunde, vijfde serie, 12(2):106-108 juni 2011.
  [ English adapted translation ]
• Tom Verhoeff, Koos Verhoeff. "From Chain-link Fence to Space-spanning Mathematial Structures". In: Reza Sarhangi and Carlo Séquin (Eds.), Proceedings of Bridges 2011: Mathematics, Music, Art, Architecture, Culture, Tessellations Publishing, ISBN 978-0-9846042-6-5.
  Presented as Paper 17 at Bridges Coimbra 2011, the Fourteenth Annual Bridges Conference, in Coimbra, Portugal, pp.73-80, July 2011.
  [ Slides (21 MB), Proof of Helix Invariance Theorem ]
• Huizing, C., Kuiper, R., Verhoeff, T. (2010). ``Halting still standing : Programs versus specifications''. In S. Qin (Ed.), Unifying Theories of Programming (Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings). Lecture Notes in Computer Science, Vol. 6445, pp. 226-233. Berlin: Springer.
  [DOI: 10.1007/978-3-642-16690-7_11]
• Tom Verhoeff. "An Enticing Environment for Programming". Olympiads in Informatics 4:134-141 (2010).
  [Local copy | Slides of talk | Tom's JavaScript Machine ]
• Tom Verhoeff, Koos Verhoeff (translated by Tom Goris and Tom Verhoeff). "Vertakte verstekverbindingen: principes en wiskunst". Nieuwe Wiskrant 30(1):13-18, oktober 2010.
• Tom Verhoeff, Koos Verhoeff. "Branching Miter Joints: Principles and Artwork". In: George W. Hart, Reza Sarhangi (Eds.), Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture, Tessellations Publishing, ISBN 978-0-98460-420-3.
  Presented as Paper 20 at Bridges Renaissace Pécs 2010, the Thirteenth Annual Bridges Conference, in Pécs, Hungary, pp.27-34, July 2010.
  [ Slides ]
• Tom Verhoeff. "3D Turtle Geometry: Artwork, Theory, Program Equivalence and Symmetry". Int. J. of Arts and Technology, 3(2/3):288-319 (2010).
  [ Full Text in TU/e Library (campus only) | Pre-print | Slides ]
• Tom Verhoeff. "Spelen met variantie", Pythagoras, 49(3):20-23 (Januari 2010).
• Tom Verhoeff. Tom's JavaScript Machine. Zero-install learning environment for programming, with challenge accompanied by "active" hints. November 2009.
• Tom Verhoeff. HTML Web Page That Shows Its Own Source Code. Unpublished. November 2009.
  [Link to such a webpage]
• Tom Verhoeff, Koos Verhoeff. "Regular 3D Polygonal Circuits of Constant Torsion". In: Craig S. Kaplan and Reza Sarhangi (Eds.), Proceedings of Bridges 2009: Mathematic, Music, Art, Architecture, Culture, Tarquin Books, ISBN 978-0-96652-020-0.
  Presented at Bridges Renaissace Banff II, the Twelfth Annual Bridges Conference as Paper 14, in Banff, Alberta, Canada, pp.223-230, July 2009.
  
  • Additional material (slides, movies)
• Tom Verhoeff. "20 Years of IOI Competition Tasks". Olympiads in Informatics 3:149-166 (2009).
  Slides of talk
• Tom Verhoeff. ``The Mathematical Analysis of Games, Focusing on Variance". In: MaCHazine (kwartaalblad van de Wiskunde en Informatica Studievereniging `Christiaan Huygens' van de TU Delft), jaargang 13, nummer 3, maart 2009.
• Peter Gordon. Yahtzee Scratch & Play to Go!. Sterling Press, 2009. Optimal scores contributed by Tom Verhoeff.
• Tom Verhoeff. Wolfram Mathematica Demonstration (Mathematica 7, or free Mathematica Player required): 3D Flying Pipe-Laying Turtle
• Tom Verhoeff and Christian Eggermont. The Untangler Project, Cubism For Fun, Number 79, pp. 32-35 (2009).
  [The Untangler Project at SourceForge, Untangler Wiki]
• Tom Verhoeff, Koos Verhoeff. "The Mathematics of Mitering and Its Artful Application". Appeared in Bridges Leeuwarden: Mathematical Connections in Art, Music, and Science, Proceedings of the Eleventh Annual Bridges Conference, in Leeuwarden, The Netherlands, pp.225-234, July 2008.
  Also see related Wolfram Mathematica Demonstrations (Mathematica 6, or free Mathematica Player required):
  • Miter Joint and Fold Joint
  • Mitering a Closed 3D Path
• Tom Verhoeff. "Programming Task Packages: Peach Exchange Format". Olympiads in Informatics 2:192-207 (2008).
• Tom Verhoeff. "De stelling van Goodstein", Pythagoras, 47(6):16-19 (Juni 2008).
• Marcel van Amstel, Mark van den Brand, Zvezdan Protic, Tom Verhoeff. "Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?", Proceedings ICMT 2008, pp.60-74
• Tom Verhoeff. IMO 2007, Problem 1, August 2007.
• Tom Verhoeff. "Wiskunde en creativiteit" (in Dutch). In: Liber Amicorum for Jan de Graaf, TU/e, June 2007.
• Peter Gordon. Yahtzee Scratch & Play!. Sterling Press, 2007. Optimal scores contributed by Tom Verhoeff.
• Tom Verhoeff. (Bounded) Linear Search by Tail Recursion. Personal Memorandum. Feb. 2007.
• Tom Verhoeff. "A Master Class Software Engineering for Secondary Education", Informatics Education - The Bridge between Using and Understanding Computers (Proceedings International Conference on Informatics in Secondary Schools, Evolution and Perspectives, ISSEP2006, Vilnius, Lithuania, November 7-11, 2006), LNCS 4226, pp.150-158. Springer-Verlag, 2006.
  
• Tom Verhoeff, Gyula Horváth, Krzysztof Diks, Gordon Cormack. "A Proposal for an IOI Syllabus", Teaching Mathematics and Computer Science, Vol. IV, Issue 1, pp.193-216.
  [ Abstract, PDF ]
• Tom Verhoeff. "The IOI Is (not) a Science Olympiad", Informatics in Education, Vol. 5, No. 1, pp.147-159.
  [ Abstract, PDF ]
• Tom Verhoeff. "Figuren opknippen en periodieke vlakvullingen", Pythagoras, 45(1):18-23 (September 2005).
• Tom Verhoeff. Algoritmen met een balans. Juni 2005 (for my workshop on the Math Summer Camp)
• M.R.V. Chaudron, J.F. Groote, K.M. van Hee, C. Hemerik, L.J.A.M. Somers and T. Verhoeff. Software Engineering Reference Framework. Technical Report CS-Report 04-039, Computer Science Reports, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2004.
• T. Verhoeff. Concepts, Terminology, and Notations for IOI Competition Tasks. Sept. 2004.

  Abstract In this document, we classify concepts, terminology and notations with respect to their usability in IOI competition tasks. We distinguish three usability classes: basic knowledge (can be used without further ado), to-be-defined (can be used, but must be defined explicitly), and to-be-avoided (must not be used). The classification primarily concerns the use in task descriptions, which are presented to contestants at the beginning of the competition. But it also concerns solutions handed out after the competition. This classification can benefit both organizers and participants in their preperations for an IOI competition.

• Tom Verhoeff. ``Variance in Markov Chains: A Calculational Approach'' in Proceedings of the Eindhoven FASTAR Days 2004 (3-4 Sept. 2004). Loek Cleophas & Bruce W. Watson (Eds.). Computer Science Technical Report 04-40, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, December 2004.
• Tom Verhoeff. ``Settling Multiple Debts Efficiently: An invitation to computing science'', Informatics in Education, Vol. 3, No. 1, pp.105-126.
  [ Abstract, PDF, Lesson plan, Classroom problems ]
• Gyula Horvath, Tom Verhoeff. ``Numerical Difficulties in Pre-University Informatics Education and Competitions'', Informatics in Education, Vol. 2, Number 1, pp.21-38.
  [ Abstract, PDF, local copy PDF, Extra, Slides (incl. example of error analysis) ]
• Tom Verhoeff. ``Achter de schermen van de Internationale Wiskunde Olympiade'', Nieuw Archief voor Wiskunde, vijfde serie, 4(1):60-63, maart 2003.
  [ PDF, Aanvulling in PDF ]
• Tom Verhoeff. Calculation Patterns for the Design of Loops. Personal Memorandum, 2003 (translated from Dutch in 2016).
• Gyula Horvath, Tom Verhoeff. ``Finding the Median under IOI Conditions'', Informatics in Education, Vol. 1, Number 1, pp.73-92 (2002).
  [ Abstract, PDF ]
• Tom Verhoeff. The 43rd International Mathematical Olympiad: A Reflective Report on IMO 2002. Computing Science Report 02-11, Faculty of Mathematics and Computing Science, Eindhoven University of Technology. August 2002.
  [ PDF ]
• Tom Verhoeff, ``Verslag van lezing door Sieuwert van Otterloo over de veiligheid van PGP'' voor WIRE, April 2002.
• Tom Verhoeff, ``Bijzondere getallen: Oneindig (als getal)'', Lezing voor Studium Generale, Universiteit Maastricht, 29 januari 2002
  [ PDF | Referenties ]
• Erik van der Tol and Tom Verhoeff. The Puzzle Processor Project: Towards an Implementation, Nat. Lab. Unclassified Report NL-UR 2000/828, Koninklijke Philips Electronics N.V., 2001. [ PDF, Slides ]
• Tom Verhoeff, ``Wiskunde en Kunst: (on-)zichtbare wiskunde'', Wintersymposium 6 januari 2001, Amersfoort, georganiseerd door het Wiskundig Genootschap
  [ PDF ]
• Tom Verhoeff. ``Rectangular and Trapezoidal Arrangements'', Journal of Integer Sequences, Vol. 2 (1999), Article 99.1.6.

• Willem Mallon, Jan Tijmen Udding, Tom Verhoeff. ``Analysis and Applications of the XDI Model'', Proceedings of the Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, Barcelona, Spain, April 18-22, 1999, pp.231-242.
  [ PDF ]
• Petra Heijnen, Henk van Tilborg, Tom Verhoeff, Sander Weijs. ``Some New Binary Quasi-Cyclic Codes'', IEEE Transaction on Information Theory, 44(5):1994-1996, Sept. 1998.
  
• Tom Verhoeff. ``Wiskunde achter de kunst van Koos Verhoeff'', De Waaier, nummer 3, 1998, blad van WIRE, alumnivereniging voor Eindhovense wiskundigen.
  [ PDF ]

• Tom Verhoeff. ``Analyzing Specifications for Delay-Insensitive Circuits'', Proceedings of the Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems, San Diego, California, March 30-April 2, 1998, pp.172-183.
  [ PDF ]

• Tom Verhoeff. ``The Role of Competitions in Education'', presented at Future World: Educating for the 21st Century, a conference and exhibition at IOI'97, Cape Town, South Africa, 2-4 December 1997.
  [ PDF | HTML ]

• Tom Verhoeff. Grootschalig gebruik van laptop computers. Internal Memorandum. Mei 1997.
  [ PDF | HTML | gzipped PostScript ]

• Tom Verhoeff. ``The Lost Group Chart and Related Problems''. Simplex Sigillum Veri, Een Liber Amicorum voor prof. dr. F. E. J. Kruseman Aretz. Faculty of Mathematics and Computing Science, Eindhoven University of Technology. December 1995. (pp. 308-313)
  [ PDF ]

• Tom Verhoeff. ``Rekenen aan Hypotheken''. Personal Note, August 1994.
  [ PDF ]

• Marc Josephs, Paul Lucassen, Jan Tijmen Udding, Tom Verhoeff. ``Formal Design of an Asynchronous DSP Counterflow Pipeline: A Case Study in Handshake Algebra'', Proceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems, Salt Lake City, Utah, November 3-5, 1994, pp.206-215.
  [ PDF ]

• Tom Verhoeff. A Theory of Delay-Insensitive Systems. Dissertation, Eindhoven University of Technology, Faculty of Mathematics and Computing Science. May 1994.
  [ PDF (8 MB) ]

• Tom Verhoeff. The Laws of Large Numbers Compared. Personal Note. July 1993.
  [ PDF ]

• Andries Brouwer, Tom Verhoeff. ``An Updated Table of Minimum-Distance Bounds for Binary Linear Codes'', IEEE Transactions on Information Theory, 39(2):662-677 (Mar. 1993).
  [ PDF ]
• Tom Verhoeff. Factorization in Process Domains (Second Approach). Personal Note. March 1993, Revised June 1995.
  [ PDF ]

• Tom Verhoeff. ``Quicksort for Linked Lists'', Computing Science Notes 93/03, Faculty of Mathematics and Computing Science, Eindhoven University of Technology, The Netherlands. January 1993.
  [ PDF ]

• Tom Verhoeff. ``The Trader's Dilemma: A Continuous Version of the Prisoner's Dilemma'', Computing Science Notes 93/02, Faculty of Mathematics and Computing Science, Eindhoven University of Technology, The Netherlands. January 1993, revised January 1998.
  [ PDF ]

• Tom Verhoeff. "Some thoughts on the role of competitions in computing science education with a twist in the direction of theoretical computer science", Bulletin of the European Association for Theoretical Computer Science, Vol.63(1997), pp.194-196, 1997.
• Tom Verhoeff. Puzzling Computers, Cubism For Fun, Number 31, pp. 10-15 (1993).
• Tom Verhoeff. A Beautiful Characterization of Equivalence Relations. Personal Note. July 1991.
  [ PDF ]
• Tom Verhoeff and Martin Rem. A Parallel Program That Generates the Möbius Sequence. In Edsger W. Dijkstra (Ed.), Formal Development of Programs and Proofs, Addison-Wesley, 1990, pp.171-182.
  Also Computing Science Notes, TU/e, 1988/01.
  [ PDF ]
• Tom Verhoeff. Solving a Control Problem, Personal Note, Sep. 1990 (revised Jan. 1991).
  [ PDF ]
• Tom Verhoeff. ``Oskar's Coin Game''. Cubism For Fun, Number 25, pp. 16-20, August 1990.
  [ PDF ]
• Tom Verhoeff. The Testing Paradigm Applied to Network Structure. Computing Science Notes 94/10, Faculty of Mathematics and Computing Science, Eindhoven University of Technology, The Netherlands. January 1990, Revised February 1994.
  [ PDF ]

• Tom Verhoeff. Guidelines for Producing a Programming-Contest Problem Set. Personal Note. October 1988, expanded July 1990.
  Also appeared in Regional Contest Cookbook of the ACM ICPC
  [ PDF | HTML ]

• Tom Verhoeff. Characterizations of Delay-Insensitive Communication Protocols. Computing Science Notes, TU/e, 1989/06.
  [ PDF ]

• Tom Verhoeff. Settling a Question about Pythagorean Triples. Computing Science Notes, TU/e, 1988/03.
  [ PDF ]

• Tom Verhoeff. Three Families of Maximally Nondeterministic Automata. Computing Science Notes, TU/e, 1987/10.
  [ PDF ]

• Tom Verhoeff. Delay-Insensitve Codes - An Overview. Distributed Computing 3(1):1-8, 1988.
  [ PostScript for CSN report 87/04 with same title from 1987; PDF scan of report ]

• Tom Verhoeff. Minimal solutions for the 12-magic. Cubism For Fun, Number 16, pp. 12-13 (1987).
  [Local copy]
  Wikipedia article about the Master Edition of Rubik's Magic
• Tom Verhoeff. Magic, and is nho magic. Cubism For Fun, Number 15, pp. 24-31 (1987).
  (Some Mathematics behind Rubiks's Magic.)
  Note about the title: Why is there an 'h' in 'nho'? This is a reference to the motto of Simon Stevin (in Dutch): "Wonder en is gheen wonder" ("Wonder, and no miracle"). In modern Dutch, "gheen" is written as "geen".
  [ Local copy | Erratum (at bottom of p.13) ]
  Wikipedia article about Rubik's Magic
  List of all 1351 Rubik's Magic shapes. Legend:
  • = stands for wrap -2
  • - stands for wrap -1
  • 0 stands for wrap 0
  • + stands for wrap +1
  • # stands for wrap +2
• Tom Verhoeff. Nondeterminism and Divergence Created by Concealment in CSP. Computing Science Notes, TU/e, 1986/06.
  [ PDF ]

• Tom Verhoeff and Huub M.J.L. Schols. Delay-insensitive Directed Trace Structures Satisfy the Foam Rubber Wrapper Postulate. Eindhoven University of Technology, Dept. of Math. & CS, Computing Science Notes, 85/04, 1985.
• Tom Verhoeff. Some Notes about the C Programming Language. Personal Note. 198?.
  [ HTML ]