@InProceedings{islip1990_f,
   author      = {Stephen G. Matthews},
   title       = {{A Fully Functional Description of Lucid}},
   editor      = {Janice I. Glasgow},
   booktitle   = {{Proceedings of the 3rd International Symposium on Lucid and Intensional Programming}},
   year        = {1990},
   publisher   = {Queen's University},
   address     = {Kingston, Ontario},
   doi         = {\url{http://plaice.web.cse.unsw.edu.au/archive/islip/1990/islip1990_f.pdf}},
   note        = {Held {13--15 May 1990}},
}