Christian* Lengauer

• A methodology for programming with concurrency