Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods.

Till Mossakowski Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. 137-144 1993 conf/amast/1993 AMAST db/conf/amast/amast93.html#Mossakowski93