A note on k-decidability - Garcia, Manuel Valentim de Pera (Congresso Nacional de Matematica Aplicada e Computacional, 1987)