Then: software specifications
	• Model-based specifications (e.g., Z) • Algebraic specifications • …