Editorial revisions, added PL/R architecture diagram