This document consists of 184 page PDF file available here.
As part of my research, I implemented a version of John Backus' FP programming language, with lots of support for simulating parallel execution.