Tommaso Bolognesi Ed Brinksma Introduction to the ISO Specification Language LOTOS. 25-59 1987 14 Computer Networks db/journals/cn/cn14.html#BolognesiB87