Deursen, A. V. Language prototyping: An algebraic specification approach - Singapore World Scientific 1996 - xx, 353p. - AMAST series in computing. vol. 5 . ISBN: 978-9-810-22732-6