Ada verification using existing tools. - John McHugh; Karl A. Nyberg (ACM SIGSOFT Softw. Eng. Notes, 1985)

Automating the Ada Binding Process for Java- How Far Can We Go? - David E. Emery; Robert F. Mathias; Karl A. Nyberg (Ada-Europe, 1998)

Using ASIS to generate C++ bindings. - Howard Ausden; Karl A. Nyberg (SIGAda, 2005)

Multi-core + multi-tasking = multi-opportunity? - Karl A. Nyberg (SIGAda, 2007)