@article{art5528,
  title = {Correctness},
  doi = {10.18535/ijsrm/v12i07.ec03},
  url = {https://ijsrm.net/index.php/ijecs/article/view/5528}
}