Fun: Wallace and Grommit study algebraic specification

after this, handling gun-toting penguins will be easy!

"Electronics for Dogs" wasn't challenging enough!

With deepest respect and apologies to Nick Park.