An approach to strategies in concurrent systems. - Bruce Davies; Graham Wrightson (CATS, 2000)