Agere.talk
Proving Compiler Correctness in a Mechanized Logic R. Milner and R. Weyhrauch
Building Linked Open Data towards integration of biomedical scientific literature with DBpedia
