@inproceedings{Hussmann88,
  title = {Prototyping Non-Deterministic Algebraic Specifications using the RAP System},
  author = {Heinrich Hußmann},
  year = {1988},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Hussmann88},
  cites = {0},
  citedby = {0},
  booktitle = {ADT},
}