Literature/mechanizing_sa.pdf
2013-04-29 Christian Urban added mechanizing separation algebra paper
less more (0) tip