@inbook{1bf3d1aa7a594b309c2403c1fe13d097,
title = "CAMAL 40 Years on - Is Small Still Beautiful?",
author = "J Fitch",
year = "2009",
doi = "10.1007/978-3-642-02614-0",
language = "English",
isbn = "0302-9743",
volume = "5625",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "32--44",
editor = "J Carette and L Dixon and Coen, {C S} and Watt, {S M}",
booktitle = "Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009. Proceedings",
note = "16th Symposium on Integration of Symbolic Computation and Mechanized Researching/8th International Conference on Mathematical Knowledge Management ; Conference date: 01-01-2009",
}