An Overview of Manifold and its Implementation

@article{manifold-cpe5,
   apice = {ManifoldCpe5},
   author = {Arbab, Farhad and Herman, Ivan and Spilling, Per},
   doi = {10.1002/cpe.4330050103},
   issn = {1040-3108},
   journal = {Concurrency and Computation: Practice and Experience},
   month = feb,
   number = 1,
   pages = {23--70},
   publisher = {John Wiley \& Sons Ltd.},
   title = {An Overview of \textsc{{M}anifold} and its Implementation},
   url = {https://doi.org/10.1002/cpe.4330050103},
   volume = 5,
   year = 1993
}