Specifying Systems by Leslie Lamportlamport.azurewebsites.net3 points·cristoperb··0 commentsOpen articleSaveView on HN