Please see the published version in
Theoretical Computer Science 92 (1992) 309-318.