Augmented transition networks Leonard Bolc 1983