Links to papers are invalid

[pit2]

The links to both papers are invalid and they do not seem to be freely available (anymore).

They are, however, available as pdf-version on academia.edu after registration so this may be better than nothing:

A formal specification for casanova, a language for computer games Monadic scripting in F# for Computer Games