A mini cheat sheet for SPARK 2014 beginners, created in LaTeX. You can download it here.
This is not meant to be exhaustive, but only a help for absolute SPARK/Ada beginners, to get up to speed with the basics.
A more detailed SPARK 2014 Cheat Sheet is available here: http://www.spark-2014.org/entries/detail/spark-cheat-sheets-en-jp
Ada-specific cheat sheets are also out there in the world wide web.