Mathematical analysis - Maude R (1983)
Keywords: Mathematical analysis