J. van Katwijk
Delft University of Technology, Delft, The Netherlands
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)