MAIDAY: An Environment for Guided Programming

@inproceedings{Guyard-Jacquot:ICSE84,
  author    = {Jacques Guyard and
               Jean{-}Pierre Jacquot},
  title     = {{MAIDAY:} An Environment for Guided Programming},
  booktitle = {ICSE},
  pages     = {126--137},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}