Dembinski, P. and S. Budkowski. Specification language Estelle. In Michel Diaz, Jean-Pierre Ansart, Jean-Pierre Courtiat, Pierre Azema, and Vijaya Chari, editors, The formal description technique Estelle, pages 35-75. North-Holland, 1989.

Languages mentioned

• Estelle {1989}