@workingPaper{Boley_1990, title={Declarative operations on nets}, author={Boley, Harold}, doi={http://dx.doi.org/10.22028/D291-24813}, year={1990} }