Program design by informal English descriptions
scientific article