Introduction to algorithmic methods using the MAD language - Marcovitz Alan B; Schweppe Earl J (London Macmillan, 1966)
Keywords: Algorithm; Mathematical logic