@ARTICLE{Sce86,
  author = {{\v{S}}{\v{c}}edrov, A.},
  title = {Diagonalization of continuous matrices as a representation of intuitionistic
	reals},
  journal = APAL,
  year = {1986},
  volume = {30},
  pages = {201--206},
  keywords = {bib,con}
}