One doc tagged with "high level"

This document introduces the high-level specification of Stronghold.