Maarten M. Fokkinga. Calculate Categorically!. Formal Asp. Comput., 4(6A):673-692, 1992.
@article{Fokkinga92, title = {Calculate Categorically!}, author = {Maarten M. Fokkinga}, year = {1992}, researchr = {https://researchr.org/publication/Fokkinga92}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {4}, number = {6A}, pages = {673-692}, }