alf » from archive
RT @adrianco: Interview: Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+ http://www.infoq.com/interviews/lamport-latex-paxos-tla?utm_c...

2015-2016 Mokum.place