bakarushima rukabagenga it is useful in the formal description of hardware and software for computer based systems ntitwakora ubucuruzi ndetse no kwaka inguzanyo muri banki biragoye