An embedding of B in Clojure. - Philipp Körner; Florian Mager (MoDELS (Companion), 2022)