Book reviews
Article in Formal Aspects of Computing (March 1989)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Formal Aspects of Computing (March 1989)
Book chapter (January 1988)
Book chapter (January 1988)