AB22.3.7
AB22.3.7 P. Naur: The form of specifications, page 14
Page 14