Stem abstractor$ (all stems)
2 papers:
- ESOP-J-1994-BidoitHW95 #behaviour #specification
- Behavioural and Abstractor Specifications (MB, RH, MW), pp. 149–186.
- ESOP-1994-BidoitHW #behaviour #semantics
- Characterizing Behavioural Semantics and Abstractor Semantics (MB, RH, MW), pp. 105–119.