Algebraic implementations in an integrated software development and verification system

@inproceedings{Beierle1986AlgebraicII,
  title={Algebraic implementations in an integrated software development and verification system},
  author={Christoph Beierle},
  year={1986}
}