Digital Object Identifier (DOI) https://doi.org/10.1142/s1793351x16400067 https://doi.org/10.1142/s1793351x16400067