Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang "A formal semantic definition of DEVIL" pp47-56
(2003)
[SIGPLAN] (2003)
ACM SIGPLAN Notices 38(4) April 2003
Languages mentioned
DEVIL
{2000}