@article{MSC_2001_2001_1_a12,
     author = {Badr, Amr},
     title = {An\'alisis formal de la din\'amica computacional en {GIGANTEC.}},
     journal = {Mathware & soft computing},
     pages = {137-152},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/}
}