In dem Buch `Programmierung pur' wird die `ARS-basierte Programmierung' (engl.: ARS Based Programming) eingeführt,
die auf den drei Prinzipien Abstraktion, Referenz und Synthese aufgebaut ist. Sie ist theoretisch begründet in dem von
Alonzo Church definierten Lambda-Kalkül.
In diesem Zusammenhang sei auf das im Jahr 2018 im tredition-Verlag erschienene Buch A++ and the Lambda Calculus(ISBN 978-3-7469-3811-0) hingewiesen. Mehr Information findet man auf der Web-Site https://aplusplus.net.