http://erlanger.ru/-- неплохой вроде ресурс по Ерлангу на русском. Есть переводы документации:http://erlanger.ru/wiki/index.php/Заглавная_страница


http://www.erlang.org/pipermail/erlang- ... 20653.html
Как я понял, спецификация байткода может меняться от платформы к платформе и от релиза к релизу. А исторически байткод ерланговой ВМ происходит от прологовской Warren Abstract Machine.
Старый документ (от 2000г):File format for Beam R5 and later