J. Guyard J.-P. Jacquot MAIDAY: An Environment for Guided Programming. 126-137 1984 ICSE db/conf/icse/icse84.html#GuyardJ84