1. αRby—An Embedding of Alloy in Ruby
2. Lecture Notes in Computer Science;Jackson D.,2003
3. R. Hickey , " A History of Clojure ," in Proceedings HOPL (History of Programming Languages). ACM , 2020 , pp. 1 -- 46 . R. Hickey, "A History of Clojure," in Proceedings HOPL (History of Programming Languages). ACM, 2020, pp. 1--46.
4. Integrating formal specifications into applications: the ProB Java API;Körner P.;Formal Methods in System Design,2020
5. D. Schneider , " Constraint Modelling and Data Validation Using Formal Specification Languages ," Ph. D. dissertation , Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf , 2017 . D. Schneider, "Constraint Modelling and Data Validation Using Formal Specification Languages," Ph.D. dissertation, Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2017.