E. Lee, und A. Sangiovanni-Vincentelli. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 17 (12):
1217-1229(Dezember 1998)
S. Abramsky. Electronic Notes in Theoretical Computer Science, (2006)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25).
T. Cutsem, S. Mostinckx, und W. Meuter. Computer Languages, Systems & Structures, 35 (1):
80 - 98(2009)ESUG 2007 International Conference on Dynamic Languages (ESUG/ICDL 2007).