Не подскажете, где можно почерпнуть информацио о научных исследованиях такого рукотворного ИТ-артефакта как машинные языки? Интересует генезис П-кода, байт-кода, IL и т.п.. Придуманы ли они "от балды" или есть научная основа? Или, по крайней мере, есть ли хотя бы методология или дисциплина проектирования системы машинных инструкций?