Klaus Havelund, Kim Guldstrand Larsen. The Fork Calculus. Nord. J. Comput., 1(3):346-363, 1994.
@article{HavelundL94:0,
title = {The Fork Calculus},
author = {Klaus Havelund and Kim Guldstrand Larsen},
year = {1994},
researchr = {https://researchr.org/publication/HavelundL94%3A0},
cites = {0},
citedby = {0},
journal = {Nord. J. Comput.},
volume = {1},
number = {3},
pages = {346-363},
}