Theories for algorithm calculation = Theorieën voor het berekenen van algoritmen - Jeuring, Johan (Utrecht, Univ., Diss., 1993, 1993)