Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen. Implementation and use of the PLT scheme Web server. Higher-Order and Symbolic Computation, 20(4):431-460, 2007. [doi]
Abstract is missing.