Burchard von Braunmühl Eckehart Hotzel Supercounter Machines. 58-72 1979 conf/icalp/1979 ICALP db/conf/icalp/icalp79.html#BraunmuhlH79 http://dx.doi.org/10.1007/3-540-09510-1_6