Execution architectures for program algebra by A. Ponse & J.A. Bergstra