An Interactive Supporting System for Functional Recursive Programming. - Mario Nagata; Teruo Akiyama; Yasutaka Fujikake (IFIP Congress, 1980)