This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
The parallel evaluation of functional programs
Alberto Pettorossi, Andrzej Skowron
pp. 149-165
Not implemented yet !