One doc tagged with "low level"

This document introduces the high-level specification of Stronghold.