@incollection{kozen1994action,
 title = {On action algebras},
 author = {Kozen, Dexter},
 year = {1994},
 booktitle = {Logic and Information Flow},
 pages = {78--88},
 publisher = {MIT Press},
 doi = {10.7551/mitpress/4286.003.0007}
}