BIOS Representational Machines (pdf) (42 Kb)