Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu: Undecidability Results for Finite Interactive Systems. SYNASC 2008: 366-369