The top documents tagged [area variable initialization]
Z specification
179 views