Mark A. Ardis Comparison of algebraic and state-machine specification methods. 101-105 1985 ISPW db/conf/ispw/ispw1985.html#Ardis85