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)
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)
E. Lee, and A. Sangiovanni-Vincentelli. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 17 (12):
1217-1229(December 1998)
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)