A Formal Syntax and a Formal Semantics for Open Estelle (1997)

by J Thees, R Gotzhein