Chakib Chraibi Omar Rafiq Richard Castanet SDL as a Testing Language. 502-507 1986 ICCC db/conf/iccc/iccc1986.html#ChraibiRC86