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.