Published in
Springer (part of Springer Nature), Formal Aspects of Computing, 5(4), p. 493-496, 1992
DOI: 10.1007/bf01211396
Links
Tools
Book reviews
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 