de Carvalho D., Mazzara M., Mingela B., Safina L., Troshkov N., Tchitchigin A. Towards Static Type-checking for Jolie // # 10, 2017
