Is there an implementation of this language available anywhere? Or is this thesis the only surviving record?