@misc {IOPORT.70589770, author = {Dietrich, Roland}, title = {How to use guarded functional programming}, howpublished = {Declarative Programming, 35-50 (1991).}, year = {1991}, identifier = {70589770}, }