Towards an operational semantics for a parallel non-strict functional language (1998)

by J Hall, C Baker-Finch, P Trinder, D King
Venue:In Proceedings of the 10th. Int. Workshop on Implementation of Functional Languages, volume 1595 of Lecture Notes in Computer Science