Herbert P. Sander

• A logic of functional programs with an application to concurrency