# About the Software Abstractions category

**URL:** <https://alloytools.discourse.group/t/about-the-software-abstractions-category/83>\
**Category:** Software Abstractions\
**Created:** [September 4, 2020, 4:34pm UTC](https://alloytools.discourse.group/t/about-the-software-abstractions-category/83 "2020-09-04T16:34:42Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![peter.kriens](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/peter.kriens/32/3_2.png) [@peter.kriens](https://alloytools.discourse.group/u/peter.kriens)\
**Post date:** [September 4, 2020, 4:34pm UTC](https://alloytools.discourse.group/t/about-the-software-abstractions-category/83/1 "2020-09-04T16:34:42Z")

</div>

Daniel Jackson wrote _the_ book about Alloy: [Software Abstractions](https://www.amazon.com/Software-Abstractions-Logic-Language-Analysis/dp/0262017156). This category discusses questions and ideas related to this book.