Cite Laszlo, clean up definiton of Interactive Programming