Jan Smith is the author of Christina Rossetti's Religious Vision in "Goblin Market" (1992), Paulo Freire (1989), Fourth and Goal (1985), The Polish Flag Problem (1985), Program Derivation in Type Theory (1985).