$C^{\ast }$ -ALGEBRAS AND CONDITIONAL EXPECTATIONS FOR EQUIVALENCE BIMODULES
$C^{\ast }$ -ALGEBRAS
$W^{\ast }$ -CROSSED PRODUCTS
$C^{\ast }$ -ENVELOPES OF EXACT OPERATOR SYSTEMS