AMS: a declarative formalism for hierarchical representation of procedural knowledge | IEEE Journals & Magazine | IEEE Xplore