K. Barlas and P. Stefaneas "An Algebraic Specification/Schema for JSON", Journal of Engineering Research and Sciences, vol. 1, no. 5, pp. 243–250, 2022, doi: 10.55708/js0105025.