Production Algebra by Mark Adler