TY  - RPRT
TI  - The Role of Executable Abstract Programs in Software Development and Documentation
AU  - Egon Boerger
PY  - 2022
UR  - https://arxiv.org/abs/2209.06546
ID  - 2209.06546
ER  -