F R E E C H O I C E P E T R I N E T S Cambridge Tracts in Theoretical Computer Science Managing Editor Professor C.J. van Rijsbergen, Department of Computing Science, University…