Teodor Knapik Étienne Payet Synchronized Product of Linear Bounded Machines. 362-373 http://link.springer.de/link/service/series/0558/bibs/1684/16840362.htm 1999 conf/fct/1999 FCT db/conf/fct/fct99.html#KnapikP99