Formal framework for a generic combination of a process algebra with an algebraic specification language: an overview | IEEE Conference Publication | IEEE Xplore