Formal Description of Programming Concepts: A Software Engineering Viewpoint

@inproceedings{Bjrner1980FormalDO,
  title={Formal Description of Programming Concepts: A Software Engineering Viewpoint},
  author={Dines Bj\orner},
  booktitle={MFCS},
  year={1980}
}