The implementation of SR by Hans Kröder & Pierre Hupperts