I really like Eric's work, especially "From Boolean Algebra to Unified Algebra".

His algebraic approach towards building software is really refreshing as it starts with the absolute basics and then slowly builds to a whole framework. Recommended!