M. Anton Ertl Bernd Paysan Gforth. 2024 November https://doi.org/10.4230/artifacts.22514 DROPS Artifacts streams/repo/drops