Added an 'Extended Example' chapter to my dissertation to cover SpartanRPC both via Sprocket and via Scalaness.