Micro-macro stack systems: a new frontier of elementary decidability for sequential systems | IEEE Conference Publication | IEEE Xplore