Moggi, E. Computational lambda-calculus and monads. In Proc. Symposium on Logic in Computer Science, 1989, 14-23.
author author title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle date pages