J. Kollár, “COMPREHENDING LOOPS IN A PROCESS FUNCTIONAL PROGRAMMING LANGUAGE”, Comput. Inform., vol. 19, no. 4, pp. 373–388, Jan. 2012.