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