Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters
Origin : Files produced by the author(s)