B benjamincongdon.me The Coming Need for Formal Specification 64 points todsacerdoti 10 months ago 52 comments