@article(Brand83,
 doi          = {10.1145/322374.322380},
)
@inproceedings(CranenGKSVWW13,
 doi          = {10.1007/978-3-642-36742-7\_15},
)
@inproceedings(NDilley19,
 doi          = {10.1109/SANER.2019.8668036},
)
@misc(gomela,
)
@article(Havelund00,
 doi          = {10.1007/s100090050043},
)
@misc(godelgit,
)
@inproceedings(Lange17,
 doi          = {10.1145/3009837.3009847},
)
@inproceedings(Lange18,
 doi          = {10.1145/3180155.3180157},
)
@inproceedings(Lange15,
 doi          = {10.1145/2676726.2676964},
)
@inproceedings(Midtgaard18,
 doi          = {10.1007/978-3-319-99725-4\_18},
)
@inproceedings(Milner84,
 doi          = {10.1007/3-540-15670-4\_10},
)
@inproceedings(Ng15,
 doi          = {10.1145/2892208.2892232},
)
@misc(goproverb,
)
@inproceedings(Stadtmuller16,
 doi          = {10.1007/978-3-319-47958-3\_7},
)
@inproceedings(Sulzmann17,
 doi          = {10.1007/978-3-319-70389-3\_6},
)
@inproceedings(Sulzmann18,
 doi          = {10.1145/3236950.3236959},
)
@misc(web:go-survey,
)
@inproceedings(Tu19,
 doi          = {10.1145/3297858.3304069},
)
@inproceedings(Zaks08,
 doi          = {10.1007/978-3-540-85114-1\_22},
)