Krishnan, Mosses, 1992. Specifying asynchronous transfer of control, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-55092-5_16