Susumu Nishimura A Strict Functional Language with Cyclic Recursive Data. 78-97 1997 9 Formal Asp. Comput. 1 db/journals/fac/fac9.html#Nishimura97