back [alt+←]
16

Nondeterminism in Formal Specification in programming by Computer Things