‘Struth, it is, that Struth is a co-author of this essay that deals with strategies for proving truths:
“Proof Strategies,” Moller and Georg Struth [pictured here], in the book Modelling Computing Systems, pp. 131-154. Springer, London, 2013.
https://link.springer.com/chapter/10.1007/978-1-84800-322-4_6