interesting. Are there such papers - that one can check the proofs and references and etc - on IT/computing related stuff? Most papers i have stumbled upon, back in time, have been some mumbo-jumbo showing-off this or that approach or achievement, but rarely coherent or consistent (one example talks X, another talks Y, with no link inbetween).
Hence i stopped reading any such papers, years ago..