[pdf] Stephen Diehl – Reasoning about Program Behavior Algebraicallydev.stephendiehl.com4 points·tpush··0 commentsOpen articleSaveView on HN