S. Fowler, S. Lindley, and P. Wadler. 31st European Conference on Object-Oriented Programming (ECOOP 2017), volume 74 of Leibniz International Proceedings in Informatics (LIPIcs), page 11:1--11:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2017)
E. Lee, and A. Sangiovanni-Vincentelli. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 17 (12):
1217-1229(December 1998)
V. Saraswat, R. Jagadeesan, M. Michael, and C. von Praun. PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, page 161--172. New York, NY, USA, ACM, (2007)
C. Hewitt, P. Bishop, and R. Steiger. IJCAI'73: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, page 235--245. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (1973)
T. Mens, K. Mens, and P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), volume 873 of Lecture Notes in Computer Science, page 326--345. Springer-Verlag, (1994)