Specs: making formal techniques usable. - Dauphin, Michel; Fonade, Georges; Reed, Rick (IEEE Software, 1993)