Text this: Scheme for designing concurrent checking and easily testable PLAs.