Carel S. Scholten
In 1947 he was asked by the Dutch Mathematisch Centrum (which later became the Centrum Wiskunde & Informatica) to collaborate in building an automatic calculator with his friend and fellow student Bram Loopstra. Their first system, the ARRA I was not a success, but its successor, the ARRA II, on which Gerrit Blaauw also collaborated was.
In 1958 Scholten went to work for Electrologica (later Philips Electrologica), where he developed the Electrologica X1 computer with Loopstra. He remained with Philips Electrologica until 1979, when he switched to the Philips Physics Laboratory, where he stayed until 1985.
- Edsger W. Dijkstra and Carel S. Scholten (1990). Predicate Calculus and Program Semantics. Springer-Verlag ISBN 0-387-96957-8 — An abstract, formal treatment of Predicate transformer semantics
- Eredoctor Carel Scholten overleden - TU Eindhoven(in Dutch) — Obituary by the TU Eindhoven.
- Unsung Heroes in Dutch Computing History — Carel S. Scholten and Bram Jan Loopstra — Illustrated report of his work at the TU Eindhoven.
- Computers ontwerpen, toen (Designing computers, back then) (in Dutch, on the Electrologica Foundation site) — Retrospective address by Carel Scholten on 23-11-1979.
- "Edsger Wybe Dijkstra". School of Mathematical and Computational Sciences. University of St Andrews. Retrieved 26 December 2010.