Ian Toyn, Colin Runciman Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1986, v:4, n:4, pp:339-363 [Journal]
Masato Takeichi Inserting Injection Operations to Denotational Specifications. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1986, v:4, n:4, pp:365-381 [Journal]
Ulf Nilsson AID: An Alternative Implementation of DCGs. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1986, v:4, n:4, pp:383-399 [Journal]