ADA, a well suited language for specification and implementation of protocols. - Richard Castanet; A. Dupeux; Pascal Guitton (PSTV, 1985)