Product-centered process description = algebraic specification of environment + SCRIPT

@inproceedings{Futatsugi1990ProductcenteredPD,
  title={Product-centered process description = algebraic specification of environment + SCRIPT},
  author={Kokichi Futatsugi},
  booktitle={ISPW},
  year={1990}
}