Redirecting you to http://www.cs.brown.edu/%7Esk/Publications/Papers/Published/sk-automata-macros