Frank A. Stomp, Willem P. de Roever, Rob Gerth. The upsilon-Calculus as an Assertion-Language for Fairness Arguments. Inf. Comput., 82(3):278-322, September 1989.
@article{StompRG89,
title = {The upsilon-Calculus as an Assertion-Language for Fairness Arguments},
author = {Frank A. Stomp and Willem P. de Roever and Rob Gerth},
year = {1989},
month = {September},
researchr = {https://researchr.org/publication/StompRG89},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {82},
number = {3},
pages = {278-322},
}