formalization of laws

Mentioned in ?