Huh, interesting! The introduction is explicit that it is considering old languages, but somehow I'd thought that occam was comparatively recent—at least, 21st-century. Wiki (https://en.wikipedia.org/wiki/Occam_(programming_language)) tells me it isn't so, though.