Roggenbach, M., & Haveraaen, M. (2020). Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming, 113, p. 100543. doi:10.1016/j.jlamp.2020.100543
Chicago Style CitationRoggenbach, Markus, and Magne Haveraaen. "Specifying With Syntactic Theory Functors." Journal of Logical and Algebraic Methods in Programming 113 (2020): 100543.
MLA CitationRoggenbach, Markus, and Magne Haveraaen. "Specifying With Syntactic Theory Functors." Journal of Logical and Algebraic Methods in Programming 113 (2020): 100543.
Warning: These citations may not always be 100% accurate.